2
0
Fork 0
genodepkgs/packages
Ehmry - b7f3cfaa89 Test of tftp_rom 2020-04-19 22:47:44 +05:30
..
NOVA Move packaging of Genode core repositories here 2020-01-22 13:02:43 +01:00
bender Pin Bender revision 2020-01-24 14:46:51 +01:00
block_router Patch GDB for Genode target support 2020-04-19 22:42:40 +05:30
dhall dhall-genode: update to LabelSelector revision 2020-04-19 22:42:40 +05:30
genodelabs Test of tftp_rom 2020-04-19 22:47:44 +05:30
nic_bus nic_bus: reinit at version 0.2 2020-04-05 14:03:51 +05:30
rom_benchmark Test of tftp_rom 2020-04-19 22:47:44 +05:30
solo5 solo5: 0.6.3 -> 0.6.4 2020-04-04 14:25:32 +05:30
sotest-producer Patch GDB for Genode target support 2020-04-19 22:42:40 +05:30
stdcxx Package stdcxx library 2020-04-08 13:43:27 +05:30
default.nix Test of tftp_rom 2020-04-19 22:47:44 +05:30