|
0620daf3b5
|
Rename the second init from "nixos" to "sigil"
|
2022-10-20 09:29:59 -05:00 |
|
|
efa6cd7274
|
Add global imports to Dhall files
|
2021-04-21 09:59:27 +02:00 |
|
|
d43df20002
|
nixos: set priorityOffset on drivers
|
2021-04-15 09:18:19 +02:00 |
|
|
e379d1214e
|
nixos: normalize eris_rom declaration
|
2021-04-07 15:21:00 +02:00 |
|
|
94c73172cb
|
Rename dhall-genode to dhall-sigil
|
2021-04-07 15:21:00 +02:00 |
|
|
de98f23758
|
nixos: replace store_rom with rom_eris
|
2021-03-17 18:06:22 +01:00 |
|