Emery Hemingway
|
229cef980e
|
Clarify language in doc/deferred-linking.md
|
3 months ago |
Emery Hemingway
|
d75e71973e
|
Fix Dhall escaping in nixos-modules/hardware
|
3 months ago |
Emery Hemingway
|
ce08351d4d
|
Add syndicate test
|
3 months ago |
Emery Hemingway
|
23ccb0a30c
|
Update Nixpkgs input for Nim updates
|
3 months ago |
Emery Hemingway
|
0620daf3b5
|
Rename the second init from "nixos" to "sigil"
|
3 months ago |
Emery Hemingway
|
1faf3aff1b
|
nim: patch in support for running native
|
4 months ago |
Emery Hemingway
|
6158b58569
|
readelferislinks utility for parsing ERIS ELF notes
|
4 months ago |
Emery Hemingway
|
20796fabae
|
Add article on ELF linking
|
4 months ago |
Emery Hemingway
|
d2bf5375d8
|
Update ERIS and record URN mappings in ELF notes
|
4 months ago |
Emery Hemingway
|
256fac99ad
|
Tidy up legacyPackages instantiation
|
4 months ago |
Emery Hemingway
|
1c7d71a00f
|
Avoid eris IFD
|
4 months ago |
Emery Hemingway
|
22eab9f7e8
|
New system tarball builder
|
4 months ago |
Emery Hemingway
|
ea0cb3a364
|
New getEris functions
|
4 months ago |
Emery Hemingway
|
d6e8db17f9
|
erisPatchHook: use filenames as keys
|
4 months ago |
Emery Hemingway
|
d6022ce707
|
nixos-modules: convert romModules to list
|
4 months ago |
Emery Hemingway
|
20281a8420
|
erisPatchHook: generate a Dhall manifest
|
4 months ago |
Emery Hemingway
|
7bd3ce4e07
|
tests: use untouched nixpkgs for the test host
|
4 months ago |
Emery Hemingway
|
f5108bc99b
|
Update to Nixpkgs-21.11
- gdb patch is upstream, remove
- fix patchelf with empty rpaths
- update to latest ERIS Nim implementation
|
4 months ago |
Emery Hemingway
|
ae591f0faf
|
Expose prev-overlay nixpkgs to genodePackages
|
8 months ago |
Emery Hemingway
|
532d6eec0f
|
Use buildPackages where appropriate
|
8 months ago |
Emery Hemingway
|
99c0670abf
|
Refactor overlay/llvm-11 to overiddes only
|
8 months ago |
Emery Hemingway
|
3bfc0479a8
|
Restore README
|
8 months ago |
Emery Hemingway
|
2033bd8af1
|
Deadnix cleanup
https://github.com/astro/deadnix
|
9 months ago |
Emery Hemingway
|
9a12b98960
|
Cleanup
|
9 months ago |
Emery Hemingway
|
ad9261c0ac
|
A bunch of unstaged stuff I found months later
|
1 year ago |
Emery Hemingway
|
2b1c9d710a
|
Link the write-up (or write-off) of the project
|
1 year ago |
Emery Hemingway
|
cdd32e9b87
|
Reduce README
|
2 years ago |
Emery Hemingway
|
2e04927455
|
fixup remove subinits
|
2 years ago |
Emery Hemingway
|
37d905ddd8
|
nixos: remove genode.init.subinits
This option was never used.
|
2 years ago |
Emery Hemingway
|
efa6cd7274
|
Add global imports to Dhall files
|
2 years ago |
Emery Hemingway
|
c7a64a59ef
|
Update Gui for genodeSources update
|
2 years ago |
Emery Hemingway
|
cbeeef067d
|
Patch vesa_drv for debugging
|
2 years ago |
Emery Hemingway
|
f1759589ad
|
Update dhall-sigil for consume, produceReports
|
2 years ago |
Emery Hemingway
|
aeb62ed985
|
fixup terminal_log patch
|
2 years ago |
Emery Hemingway
|
69c8b0d5a3
|
fixup genodeSources update
|
2 years ago |
Emery Hemingway
|
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.
|
2 years ago |
Emery Hemingway
|
fb35449420
|
nixos/gui: terminal is now a Gui client
|
2 years ago |
Emery Hemingway
|
af796dd627
|
Update genodeSources to sculpt-21.03
Consolidate libc patch into sources patch.
|
2 years ago |
Emery Hemingway
|
b0414609dd
|
Patch usb_host_drv (reorder after sources update)
|
2 years ago |
Emery Hemingway
|
a92edb6330
|
fixup add services nixos module
|
2 years ago |
Emery Hemingway
|
268fab7808
|
overlay: do not override LLVM for non-Genode
|
2 years ago |
Emery Hemingway
|
85a91fcaa2
|
fixup gui
|
2 years ago |
Emery Hemingway
|
bd0d34d99a
|
nixos: support arbitrary child binaries
Allow child binaries to be ERIS URNs or otherwise arbitrary strings.
|
2 years ago |
Emery Hemingway
|
ac43ed395e
|
nixos: fixup device manager USB stuff
|
2 years ago |
Emery Hemingway
|
7ee13bad02
|
nixos: rewrite gui module
|
2 years ago |
Emery Hemingway
|
48966025df
|
Add /nix/store bck to store image
|
2 years ago |
Emery Hemingway
|
b01cea0fef
|
fixup nixos: config.block.partitions.store.guid
|
2 years ago |
Emery Hemingway
|
3d722d1d2a
|
fixup consolidation of eris store
|
2 years ago |
Emery Hemingway
|
d43df20002
|
nixos: set priorityOffset on drivers
|
2 years ago |
Emery Hemingway
|
d2f265f806
|
WiP graphics test: fuck the backdrop
|
2 years ago |