 Ehmry -
|
ccc2f4f79f
|
Modify type of ERISmanifest
Convert the manifest to have a more general type.
|
2023-09-29 11:18:31 +01:00 |
|
Ehmry -
|
0620daf3b5
|
Rename the second init from "nixos" to "sigil"
|
2022-10-20 09:29:59 -05:00 |
|
Ehmry -
|
1c7d71a00f
|
Avoid eris IFD
|
2022-10-07 21:30:32 -05:00 |
|
Ehmry -
|
ea0cb3a364
|
New getEris functions
|
2022-10-07 21:30:30 -05:00 |
|
Ehmry -
|
efa6cd7274
|
Add global imports to Dhall files
|
2021-04-21 09:59:27 +02:00 |
|
Ehmry -
|
3d722d1d2a
|
fixup consolidation of eris store
|
2021-04-15 09:22:28 +02:00 |
|
Ehmry -
|
d43df20002
|
nixos: set priorityOffset on drivers
|
2021-04-15 09:18:19 +02:00 |
|
Ehmry -
|
c8671b63d8
|
dhall-sigil: update for priority rename
|
2021-04-14 10:17:54 +02:00 |
|
Ehmry -
|
f5f54a2ec2
|
nixos: increase RAM in ERIS subsystem
|
2021-04-13 13:58:36 +02:00 |
|
Ehmry -
|
56e66ea842
|
nixos: move /eris/* in store image to /
All the ERIS URNs are prefixed already.
|
2021-04-12 10:15:43 +02:00 |
|
Ehmry -
|
cd1b95c1d7
|
nixos: rename genode.boot to genode.core
Have a "boot.…" and a "genode.boot.…" is confusing.
|
2021-04-09 16:39:06 +02:00 |
|
Ehmry -
|
5ebe441c52
|
nixos: derived partition GUIDs
|
2021-04-07 15:21:00 +02:00 |
|
Ehmry -
|
192e9f1b7b
|
Use ISO9660 for the ERIS store
|
2021-04-07 15:21:00 +02:00 |
|
Ehmry -
|
e379d1214e
|
nixos: normalize eris_rom declaration
|
2021-04-07 15:21:00 +02:00 |
|
Ehmry -
|
94c73172cb
|
Rename dhall-genode to dhall-sigil
|
2021-04-07 15:21:00 +02:00 |
|
Ehmry -
|
fe3e0da51d
|
packages: add device_manager
A component for hardware detection and driver instantiation.
|
2021-04-07 15:19:36 +02:00 |
|
Ehmry -
|
de98f23758
|
nixos: replace store_rom with rom_eris
|
2021-03-17 18:06:22 +01:00 |