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