Skip to content

CoderionLabs/exoberry

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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