 Ehmry -
|
ccc2f4f79f
|
Modify type of ERISmanifest
Convert the manifest to have a more general type.
|
2023-09-29 11:18:31 +01:00 |
|
Ehmry -
|
1ac296fea3
|
Fix use of lib.getErisMainProgram in Bash test
|
2023-04-30 10:25:33 +01:00 |
|
Ehmry -
|
ea0cb3a364
|
New getEris functions
|
2022-10-07 21:30:30 -05:00 |
|
Ehmry -
|
2033bd8af1
|
Deadnix cleanup
https://github.com/astro/deadnix
|
2022-04-24 18:20:39 -05:00 |
|
Ehmry -
|
9a12b98960
|
Cleanup
|
2022-04-24 18:20:39 -05:00 |
|
Ehmry -
|
ad9261c0ac
|
A bunch of unstaged stuff I found months later
|
2021-12-10 10:13:20 +00:00 |
|
Ehmry -
|
85a108bdb3
|
erisPatch nixos modules
|
2021-03-03 15:14:21 +01:00 |
|
Ehmry -
|
2afd2d08cc
|
nixos: add genode.init.children.<…>.binary option
Require that all init children declared by Nix be declared with
an absolute path to the program binary.
|
2021-02-16 15:46:14 +01:00 |
|
Ehmry -
|
77e0aa3e05
|
Update Genode Labs sources
|
2020-11-27 15:03:29 +01:00 |
|
Ehmry -
|
a2a152b68a
|
tests: add Bash test
Test Bash and Coretuils from the Genode Labs ports.
|
2020-11-13 15:03:33 +01:00 |