|
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
|
overlay: add setup-hook to tup
|
2020-04-22 17:18:57 +05:30 |
|
dhall
|
dhall-genode: update
|
2020-04-23 15:19:27 +05:30 |
|
genodelabs
|
tests: add vmm_x86 test
|
2020-04-26 10:48:38 +05:30 |
|
nic_bus
|
overlay: add setup-hook to tup
|
2020-04-22 17:18:57 +05:30 |
|
solo5
|
solo5: 0.6.3 -> 0.6.4
|
2020-04-04 14:25:32 +05:30 |
|
sotest-producer
|
overlay: add setup-hook to tup
|
2020-04-22 17:18:57 +05:30 |
|
stdcxx
|
Package stdcxx library
|
2020-04-08 13:43:27 +05:30 |
|
default.nix
|
overlay: add setup-hook to tup
|
2020-04-22 17:18:57 +05:30 |
Ehmry -
dba4d80779