What is Exoberry?

Exoberry is an exokernel written for the Raspberry Pi 3.

How to Install

To install Exoberry you will need

• Raspbery Pi 3 Model B
• USB to TTL serial cable
• SD card with installed Raspbian OS (2017 Version)
• The Exoberry image either built from source or downloaded from releases.

1. Copy kernel8.img file to the boot partition of your Raspberry Pi flash card and delete the other kernel*.img files on your SD card.

2. Put the following lines in config.txt

   kernel_old=1
   disable_commandline_tags=1

3. Connect the USB-to-TTL serial cable

4. Power on your Raspberry Pi

Building from Source

git clone https://github.com/MutexUnlocked/exoberry.git
cd exoberry
make

You should now see the kernel image in your current directory.

Credits

• raspberry-pi-os devs