An exokernel for the raspberry pi 3.
Exoberry is an exokernel written for the Raspberry Pi 3.
To install Exoberry you will need
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.
Put the following lines in config.txt
kernel_old=1
disable_commandline_tags=1
Connect the USB-to-TTL serial cable
Power on your Raspberry Pi
git clone https://github.com/MutexUnlocked/exoberry.git
cd exoberry
make
You should now see the kernel image in your current directory.