Version 6 (modified by 8 years ago) ( diff ) | ,
---|
HelenOS on Raspberry Pi
Information pertaining to porting HelenOS to the Raspberry Pi single-board computers.
Status
Supported models:
- Raspberry Pi 1 (model B)
Raspberry Pi 1 has been supported since HelenOS 0.6.0. The system boots to the kernel console. Use the USB-TTL cable and the pinout depicted on the picture to get the console going. For full user experience, a userspace serial driver is needed, in addition to a mechanism for passing boot arguments to HelenOS.
Booting
Build HelenOS for Raspberry Pi, insert the microSD card you use to boot Raspberry Pi to your computer and copy boot/image.bin
to kernel.bin
on its boot partition:
$ make distclean; make -j 6 PROFILE=arm32/raspberrypi $ mount <snip> /dev/mmcblk0p2 on /run/media/foo/af599925-1134-4b6e-8883-fb6a99cd58f1 type ext4 (rw,nosuid,nodev,relatime,seclabel,data=ordered,uhelper=udisks2) /dev/mmcblk0p1 on /run/media/foo/boot type vfat (rw,nosuid,nodev,relatime,uid=1000,gid=1000,fmask=0022,dmask=0022,codepage=437,iocharset=ascii,shortname=mixed,showexec,utf8,flush,errors=remount-ro,uhelper=udisks2) $ sudo cp boot/image.bin /run/media/foo/boot/kernel.img
Attachments (1)
-
rpi-usb-ttl-cable.jpg
(252.8 KB
) - added by 8 years ago.
Raspberry Pi 1 with a USB-TTL cable used for serial console
Download all attachments as: .zip
Note:
See TracWiki
for help on using the wiki.