Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changes between Version 4 and Version 5 of RaspberryPi


Ignore:
Timestamp:
2017-04-01T17:58:38Z (2 years ago)
Author:
Jakub Jermář
Comment:

Short howto boot HelenOS on Raspberry Pi

Legend:

Unmodified
Added
Removed
Modified
  • RaspberryPi

    v4 v5  
    1111
    1212Supported in HelenOS 0.6.0 and later. 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.
     13
     14== Booting ==
     15
     16Build 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:
     17
     18{{{
     19$ make distclean; make -j 6 PROFILE=arm32/raspberrypi
     20$ mount
     21<snip>
     22/dev/mmcblk0p2 on /run/media/foo/af599925-1134-4b6e-8883-fb6a99cd58f1 type ext4 (rw,nosuid,nodev,relatime,seclabel,data=ordered,uhelper=udisks2)
     23/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)
     24$ sudo cp boot/image.bin /run/media/foo/boot/kernel.img
     25}}}