|
|
9a98437796
|
Modify type of ERISDhall manifest
Make the Dhall manifest have a general type, with the exception
of the top-level attrset which can be made general with "toMap".
|
2023-09-28 14:40:20 +01:00 |
|
|
|
4d3d152f50
|
Update dhall-nim to 20230928
|
2023-09-28 12:17:09 +01:00 |
|
|
|
96f77470ad
|
Make the syndicate test a proper package
|
2023-09-28 12:17:09 +01:00 |
|
|
|
0860d69886
|
Deflakification
|
2023-09-28 11:52:07 +01:00 |
|
|
|
c42bb909f2
|
nimPackages: update cbor and dhall
|
2023-09-21 19:51:41 +02:00 |
|
|
|
272a141fc1
|
Deprecate top-level {build,host,target}Platform
|
2023-06-16 10:09:09 +01:00 |
|
|
|
b8119305cd
|
Add pronunciation to README
|
2023-06-09 10:44:48 +01:00 |
|
|
|
eedfff3c27
|
Add Cachix key
|
2023-05-20 17:06:25 +01:00 |
|
|
|
e8cae0558d
|
Do not clobber files when creating tarballs
|
2023-04-30 10:25:33 +01:00 |
|
|
|
1ac296fea3
|
Fix use of lib.getErisMainProgram in Bash test
|
2023-04-30 10:25:33 +01:00 |
|
|
|
28bbec1802
|
Drop version from ports to avoid IFD
|
2023-04-28 12:56:27 +01:00 |
|
|
|
3024a8a1d3
|
Replace iasl with acpica-tools
|
2023-04-28 12:51:34 +01:00 |
|
|
|
7758907954
|
Document cachix
|
2023-04-28 11:44:18 +01:00 |
|
|
|
604aa1fe74
|
Widen genode-sources version
|
2023-04-28 10:01:24 +01:00 |
|
|
|
229cef980e
|
Clarify language in doc/deferred-linking.md
|
2022-10-22 12:15:54 -05:00 |
|
|
|
d75e71973e
|
Fix Dhall escaping in nixos-modules/hardware
|
2022-10-20 17:09:43 -05:00 |
|
|
|
ce08351d4d
|
Add syndicate test
|
2022-10-20 14:44:27 -05:00 |
|
|
|
23ccb0a30c
|
Update Nixpkgs input for Nim updates
|
2022-10-20 14:33:14 -05:00 |
|
|
|
0620daf3b5
|
Rename the second init from "nixos" to "sigil"
|
2022-10-20 09:29:59 -05:00 |
|
|
|
1faf3aff1b
|
nim: patch in support for running native
|
2022-10-12 22:02:26 -05:00 |
|
|
|
6158b58569
|
readelferislinks utility for parsing ERIS ELF notes
|
2022-10-12 22:02:26 -05:00 |
|
|
|
20796fabae
|
Add article on ELF linking
|
2022-10-07 21:34:58 -05:00 |
|
|
|
d2bf5375d8
|
Update ERIS and record URN mappings in ELF notes
|
2022-10-07 21:30:32 -05:00 |
|
|
|
256fac99ad
|
Tidy up legacyPackages instantiation
|
2022-10-07 21:30:32 -05:00 |
|
|
|
1c7d71a00f
|
Avoid eris IFD
|
2022-10-07 21:30:32 -05:00 |
|
|
|
22eab9f7e8
|
New system tarball builder
|
2022-10-07 21:30:32 -05:00 |
|
|
|
ea0cb3a364
|
New getEris functions
|
2022-10-07 21:30:30 -05:00 |
|
|
|
d6e8db17f9
|
erisPatchHook: use filenames as keys
|
2022-10-07 21:29:14 -05:00 |
|
|
|
d6022ce707
|
nixos-modules: convert romModules to list
|
2022-10-07 21:29:14 -05:00 |
|
|
|
20281a8420
|
erisPatchHook: generate a Dhall manifest
|
2022-10-07 21:29:14 -05:00 |
|
|
|
7bd3ce4e07
|
tests: use untouched nixpkgs for the test host
|
2022-10-07 21:29:14 -05:00 |
|
|
|
f5108bc99b
|
Update to Nixpkgs-21.11
- gdb patch is upstream, remove
- fix patchelf with empty rpaths
- update to latest ERIS Nim implementation
|
2022-10-07 21:29:14 -05:00 |
|
|
|
ae591f0faf
|
Expose prev-overlay nixpkgs to genodePackages
|
2022-05-25 11:20:32 -05:00 |
|
|
|
532d6eec0f
|
Use buildPackages where appropriate
|
2022-05-25 11:20:32 -05:00 |
|
|
|
99c0670abf
|
Refactor overlay/llvm-11 to overiddes only
|
2022-05-25 11:20:32 -05:00 |
|
|
|
3bfc0479a8
|
Restore README
|
2022-05-25 11:20:31 -05:00 |
|
|
|
2033bd8af1
|
Deadnix cleanup
https://github.com/astro/deadnix
|
2022-04-24 18:20:39 -05:00 |
|
|
|
9a12b98960
|
Cleanup
|
2022-04-24 18:20:39 -05:00 |
|
|
|
ad9261c0ac
|
A bunch of unstaged stuff I found months later
|
2021-12-10 10:13:20 +00:00 |
|
|
|
2b1c9d710a
|
Link the write-up (or write-off) of the project
|
2021-12-10 10:07:13 +00:00 |
|
|
|
cdd32e9b87
|
Reduce README
|
2021-04-22 15:09:52 +02:00 |
|
|
|
2e04927455
|
fixup remove subinits
|
2021-04-21 19:15:03 +02:00 |
|
|
|
37d905ddd8
|
nixos: remove genode.init.subinits
This option was never used.
|
2021-04-21 10:49:28 +02:00 |
|
|
|
efa6cd7274
|
Add global imports to Dhall files
|
2021-04-21 09:59:27 +02:00 |
|
|
|
c7a64a59ef
|
Update Gui for genodeSources update
|
2021-04-21 09:26:33 +02:00 |
|
|
|
cbeeef067d
|
Patch vesa_drv for debugging
|
2021-04-18 10:22:24 +02:00 |
|
|
|
f1759589ad
|
Update dhall-sigil for consume, produceReports
|
2021-04-17 22:36:10 +02:00 |
|
|
|
aeb62ed985
|
fixup terminal_log patch
|
2021-04-16 16:03:12 +02:00 |
|
|
|
69c8b0d5a3
|
fixup genodeSources update
|
2021-04-16 16:00:16 +02:00 |
|
|
|
0d5650d39c
|
Patch terminal_log to override log labels
When generating configuration with Dhall it is simpler to specify
a policy rather than rewrite a session label.
|
2021-04-16 15:57:27 +02:00 |
|
