Genode OS Framework
Stars
1.2k
Forks
267
Watchers
Open Issues
136
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
4.0k
commits
2.0k
1.6k
1.1k
811
341
116
107
depot: update recipe hashes
e686d3f
depot_autopilot: skip lxip test on rpi
b28f229
pc: enable clflush support in dde_linux drivers
f5c75ec
base/include/util/progress.h: Progress return type
98d00e6
tool/depot: remove redundant MISSING_PUBKEY_FILES
062f1be
tool/depot: add support for sequoia pgp
6ab487a
tool/depot: rename gpg.inc to pgp.inc
9135727
gems/sculpt: update pubkey of chelmuth
5c928b1
gems/sculpt: update pubkey of jschlatow
62ebae2
libc: remove select handler (libc/select.h)
cd0ac02
gems/sculpt: update pubkey of cnuke
066c887
intel/display: make RAM copy of opregion
c703aae
genode_c_api/usb: fix set_configuration
b77e503
rom_filter: use Dynamic_rom_session
ea11c44
os/dynamic_rom_session.h: use Pd_session::seal_ram
7ce6d21