https://github.com/CoderionLabs/exoberry

An exokernel for the raspberry pi 3.

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

Last synced: 02 Aug 2025