Genode Packages collection https://git.sr.ht/~ehmry/genodepkgs/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Emery Hemingway 1f53f25419 Relicense as MIT 7 months ago
..
generate-manifest Relicense as MIT 7 months ago
genode-make Add genode-make app 1 year ago
hw-image Relicense as MIT 7 months ago
hw-iso Relicense as MIT 7 months ago
linux-image Relicense as MIT 7 months ago
nova-image Relicense as MIT 7 months ago
nova-iso Relicense as MIT 7 months ago
render-init Relicense as MIT 7 months ago
default.nix Relicense as MIT 7 months ago
insert-config-rom.dhall Relicense as MIT 7 months ago
modules.as.dhall Relicense as MIT 7 months ago
render-rom.dhall Relicense as MIT 7 months ago
to-rom.dhall Relicense as MIT 7 months ago