/exoberry

An exokernel for the raspberry pi 3.

Primary LanguageCGNU General Public License v3.0GPL-3.0

Exoberry

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