https://github.com/CoderionLabs/exoberry

An exokernel for the raspberry pi 3.
https://github.com/CoderionLabs/exoberry

c driver gplv3 kernel operating-system raspberry-pi unix-like

Last synced: about 2 months ago
JSON representation

An exokernel for the raspberry pi 3.

• Host: GitHub
• URL: https://github.com/CoderionLabs/exoberry
• Owner: CoderionLabs
• License: gpl-3.0
• Created: 2018-01-01T15:29:20.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2021-11-17T15:07:30.000Z (about 3 years ago)
• Last Synced: 2024-11-20T12:46:18.799Z (2 months ago)
• Topics: c, driver, gplv3, kernel, operating-system, raspberry-pi, unix-like
• Language: C
• Homepage:
• Size: 13.2 MB
• Stars: 79
• Watchers: 12
• Forks: 12
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        


![Exoberry](https://i.ibb.co/vwP0vY0/Exoberry.png)

# 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 

   ```bash

   kernel_old=1

   disable_commandline_tags=1

   ```

3. Connect the USB-to-TTL serial cable

4. Power on your Raspberry Pi

# Building from Source

```bash

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](https://github.com/s-matyukevich/raspberry-pi-os) devs