2
0
Fork
You've already forked genode-rpi
0
Raspberry Pi family support for Genode OS framework
  • C++ 51%
  • C 36.5%
  • Makefile 10.5%
  • BitBake 2%
2026年02月10日 08:20:08 +01:00
board rpi3: modern qemu differentiates in between rpi3 variants 2025年04月28日 13:48:46 +02:00
include/rpi_mbox_session Remove format strings from connection types 2023年03月06日 10:51:09 +01:00
lib hw: renamed Vm to Vcpu, kernel/vcpu.h is included 2025年04月10日 16:55:27 +02:00
ports Rename src/drivers to src/driver 2024年06月20日 13:06:47 +02:00
recipes depot: update recipe hashes 2026年01月29日 14:05:42 +01:00
run run: use ram attribute in start nodes 2025年02月11日 17:00:35 +01:00
src hw: distinguish assert macro, kernel vs. bootstrap 2025年11月11日 13:30:09 +01:00
.gitignore Add .gitignore and LICENSE file 2022年01月04日 11:38:13 +01:00
LICENSE Add .gitignore and LICENSE file 2022年01月04日 11:38:13 +01:00
README.md Update README with Codeberg URL 2026年02月10日 08:20:08 +01:00

Genode support for Raspberry Pi boards

This repository complements the Genode OS framework (https://genode.org) with the board support needed to use Genode on Raspberry Pi based devices.

To use it, you first need to obtain a clone of Genode:

! git clone https://github.com/genodelabs/genode.git genode

Now, clone the genode-rpi.git repository to genode/repos/rpi:

! git clone https://codeberg.org/genodelabs/genode-rpi.git genode/repos/rpi

For enabling the board support, adjust the build-directory configuration etc/build.conf by adding the following line to the 'REPOSITORIES' definitions.

! REPOSITORIES += $(GENODE_DIR)/repos/rpi

License

Genode-specific code is provided under Genode's regular open-source license, which is AGPLv3 + open-source linking exception. This code is also available under a commercial license offered by Genode Labs.

For code ported from other projects - e.g., device drivers ported from the Linux kernel - the license of the originating upstream project applies.

Please refer to the individual file headers for detailed information.