GitHub / genodelabs / genode-rpi

Raspberry Pi family support for Genode OS framework

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/genodelabs%2Fgenode-rpi
PURL: pkg:github/genodelabs/genode-rpi

Stars: 14
Forks: 12
Open issues: 0

License: other
Language: C++
Size: 208 KB
Dependencies parsed at: Pending

Created at: over 3 years ago
Updated at: 3 months ago
Pushed at: 2 months ago
Last synced at: 2 months ago

Topics: aarch64, arm, armv6, armv8, cplusplus, cpp, genode, microkernel, osdev, raspberry-pi

Loading...