Commit Graph

544 Commits

Author SHA1 Message Date
Ehmry - 3d0fa7f4c4 Add sculptUtils
Some functions for generating Sculpt depot archives.
2023-10-04 15:44:06 +01:00
Ehmry - 66117e07b5 Move lib out of repo top level and into overlay 2023-10-03 12:09:18 +01:00
Ehmry - 38f48c8d07 Add note to README­about resolving ERIS URNs 2023-09-29 11:18:31 +01:00
Ehmry - ccc2f4f79f Modify type of ERIS­manifest
Convert the manifest to have a more general type.
2023-09-29 11:18:31 +01:00
Ehmry - 4d3d152f50 Update dhall-nim to 20230928 2023-09-28 12:17:09 +01:00
Ehmry - 96f77470ad Make the syndicate test a proper package 2023-09-28 12:17:09 +01:00
Ehmry - 0860d69886 Deflakification 2023-09-28 11:52:07 +01:00
Ehmry - c42bb909f2 nimPackages: update cbor and dhall 2023-09-21 19:51:41 +02:00
Ehmry - 272a141fc1 Deprecate top-level `{build,host,target}Platform` 2023-06-16 10:09:09 +01:00
Ehmry - b8119305cd Add pronunciation to README 2023-06-09 10:44:48 +01:00
Ehmry - eedfff3c27 Add Cachix key 2023-05-20 17:06:25 +01:00
Ehmry - e8cae0558d Do not clobber files when creating tarballs 2023-04-30 10:25:33 +01:00
Ehmry - 1ac296fea3 Fix use of lib.getErisMainProgram in Bash test 2023-04-30 10:25:33 +01:00
Ehmry - 28bbec1802 Drop version from ports to avoid IFD 2023-04-28 12:56:27 +01:00
Ehmry - 3024a8a1d3 Replace iasl with acpica-tools 2023-04-28 12:51:34 +01:00
Ehmry - 7758907954 Document cachix 2023-04-28 11:44:18 +01:00
Ehmry - 604aa1fe74 Widen genode-sources version 2023-04-28 10:01:24 +01:00
Ehmry - 229cef980e Clarify language in doc/deferred-linking.md 2022-10-22 12:15:54 -05:00
Ehmry - d75e71973e Fix Dhall escaping in nixos-modules/hardware 2022-10-20 17:09:43 -05:00
Ehmry - ce08351d4d Add syndicate test 2022-10-20 14:44:27 -05:00
Ehmry - 23ccb0a30c Update Nixpkgs input for Nim updates 2022-10-20 14:33:14 -05:00
Ehmry - 0620daf3b5 Rename the second init from "nixos" to "sigil" 2022-10-20 09:29:59 -05:00
Ehmry - 1faf3aff1b nim: patch in support for running native 2022-10-12 22:02:26 -05:00
Ehmry - 6158b58569 readelferislinks utility for parsing ERIS ELF notes 2022-10-12 22:02:26 -05:00
Ehmry - 20796fabae Add article on ELF linking 2022-10-07 21:34:58 -05:00
Ehmry - d2bf5375d8 Update ERIS and record URN mappings in ELF notes 2022-10-07 21:30:32 -05:00
Ehmry - 256fac99ad Tidy up legacyPackages instantiation 2022-10-07 21:30:32 -05:00
Ehmry - 1c7d71a00f Avoid eris IFD 2022-10-07 21:30:32 -05:00
Ehmry - 22eab9f7e8 New system tarball builder 2022-10-07 21:30:32 -05:00
Ehmry - ea0cb3a364 New getEris functions 2022-10-07 21:30:30 -05:00
Ehmry - d6e8db17f9 erisPatchHook: use filenames as keys 2022-10-07 21:29:14 -05:00
Ehmry - d6022ce707 nixos-modules: convert romModules to list 2022-10-07 21:29:14 -05:00
Ehmry - 20281a8420 erisPatchHook: generate a Dhall manifest 2022-10-07 21:29:14 -05:00
Ehmry - 7bd3ce4e07 tests: use untouched nixpkgs for the test host 2022-10-07 21:29:14 -05:00
Ehmry - 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
Ehmry - ae591f0faf Expose prev-overlay nixpkgs to genodePackages 2022-05-25 11:20:32 -05:00
Ehmry - 532d6eec0f Use buildPackages where appropriate 2022-05-25 11:20:32 -05:00
Ehmry - 99c0670abf Refactor overlay/llvm-11 to overiddes only 2022-05-25 11:20:32 -05:00
Ehmry - 3bfc0479a8 Restore README 2022-05-25 11:20:31 -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 - 2b1c9d710a Link the write-up (or write-off) of the project 2021-12-10 10:07:13 +00:00
Ehmry - cdd32e9b87 Reduce README 2021-04-22 15:09:52 +02:00
Ehmry - 2e04927455 fixup remove subinits 2021-04-21 19:15:03 +02:00
Ehmry - 37d905ddd8 nixos: remove genode.init.subinits
This option was never used.
2021-04-21 10:49:28 +02:00
Ehmry - efa6cd7274 Add global imports to Dhall files 2021-04-21 09:59:27 +02:00
Ehmry - c7a64a59ef Update Gui for genodeSources update 2021-04-21 09:26:33 +02:00
Ehmry - cbeeef067d Patch vesa_drv for debugging 2021-04-18 10:22:24 +02:00
Ehmry - f1759589ad Update dhall-sigil for consume, produceReports 2021-04-17 22:36:10 +02:00