Emery Hemingway
|
308e0bd8b6
|
WiP! devShell Clang tweaks
|
2020-12-26 11:21:41 +01:00 |
Emery Hemingway
|
a1d4c8f6d0
|
Add Clang to dev shell
|
2020-12-25 23:34:18 +01:00 |
Emery Hemingway
|
a9d7d4d47e
|
overlay: alias llvmPackages to llvmPackages_11
|
2020-12-25 23:21:06 +01:00 |
Emery Hemingway
|
5d4fee3bf2
|
nixos: move ExecStart to end of systemd children list
|
2020-12-21 00:59:56 +01:00 |
Emery Hemingway
|
8a8f67bdda
|
nixos-modules: set qemu options in hardware.nix
|
2020-12-21 00:59:56 +01:00 |
Emery Hemingway
|
222ca79126
|
nixos: genode.init.children.<…>.routeToNics
Allow init children to route to Nic servers.
|
2020-12-21 00:59:56 +01:00 |
Emery Hemingway
|
76a72a563f
|
nixos: less diagnostics
|
2020-12-20 14:34:35 +01:00 |
Emery Hemingway
|
48ac203acb
|
Move Genode flake input into overlay
|
2020-12-20 14:31:01 +01:00 |
Emery Hemingway
|
c493b46b27
|
Export the forAll[,Local,Cross]Systems functions
|
2020-12-20 14:31:01 +01:00 |
Emery Hemingway
|
76ebec9f37
|
Update dhall-genode to use 20.0.0 prelude
|
2020-12-20 14:31:01 +01:00 |
Emery Hemingway
|
0ec8bd87eb
|
Update Nixpkgs input
|
2020-12-20 14:31:01 +01:00 |
Emery Hemingway
|
858a0124b0
|
nixos: use usb_block_drv for USB storage
|
2020-12-20 14:31:01 +01:00 |
Emery Hemingway
|
263dd198c7
|
dhall-genode: update for Init/Config/Policy/toXML
|
2020-12-20 14:31:01 +01:00 |
Emery Hemingway
|
0c69706e39
|
generalize lib/make-bootable-image.nix
|
2020-12-20 14:31:01 +01:00 |
Emery Hemingway
|
51a68d1e91
|
Add nixosModules to flake
|
2020-12-20 14:31:01 +01:00 |
Emery Hemingway
|
f5e48f70e2
|
bender: update to devel
|
2020-12-20 13:22:21 +01:00 |
Emery Hemingway
|
14d25de5ed
|
nixos: add graphical log
|
2020-12-20 13:22:21 +01:00 |
Emery Hemingway
|
f8c5eac7b7
|
dhall-genode: update to nomalize <provides> with policies
|
2020-12-20 13:22:21 +01:00 |
Emery Hemingway
|
99d43ceba1
|
nixos-modules: add nix-store USB backend
Load the store from an EXT2 file-system from USB storage.
|
2020-12-20 13:22:21 +01:00 |
Emery Hemingway
|
32f1ee1fe7
|
Cleanup dead nixos-module code
|
2020-12-20 13:20:06 +01:00 |
Emery Hemingway
|
74b4c0df69
|
cached_fs_rom: fix off-by-one in symlink copy_cstring
|
2020-12-20 13:20:06 +01:00 |
Emery Hemingway
|
9c2a92cdf1
|
gdb: update config patch
|
2020-12-20 13:20:06 +01:00 |
Emery Hemingway
|
f7b08619ac
|
nixos: add extraVfs and ramQuota options to systemd wrapper
|
2020-12-20 13:20:06 +01:00 |
Emery Hemingway
|
f7b990a6ca
|
libc: patch to remove odd O_NOFOLLOW behavior
|
2020-12-20 13:20:06 +01:00 |
Emery Hemingway
|
f7b2688611
|
packages/vfs: patch to fix session directory creation
|
2020-12-20 13:20:06 +01:00 |
Emery Hemingway
|
264ea72e3c
|
Patch tor
|
2020-12-20 13:20:06 +01:00 |
Emery Hemingway
|
abe28a02dc
|
openssl: build static
|
2020-12-20 13:20:06 +01:00 |
Emery Hemingway
|
3215190568
|
nixos: add jitter_sponge entropy source
Share an entropy generator amount the systemd services. Would be nice to
have that virtio_rng driver.
|
2020-12-20 13:20:06 +01:00 |
Emery Hemingway
|
bb08952553
|
packages/genodelabs: support for building ports from world repo
|
2020-12-20 13:20:06 +01:00 |
Emery Hemingway
|
05f4fdcbc7
|
nixos: pass binary seperately from args in systemd wrapper
|
2020-12-20 10:39:57 +01:00 |
Emery Hemingway
|
df948cc6d8
|
libc: patch in more missing features
|
2020-12-10 20:25:02 +01:00 |
Emery Hemingway
|
1c057662e6
|
tests/vmm_x86: need to request platform_info direct from core
|
2020-12-02 15:13:38 +01:00 |
Emery Hemingway
|
d5c99500dc
|
tests: remove solo5
Solo5 tests are broken by bad label handling in init.
|
2020-12-02 14:29:10 +01:00 |
Emery Hemingway
|
f25f5115af
|
Add hydraJobs to flake
|
2020-12-02 14:01:14 +01:00 |
Emery Hemingway
|
257696260c
|
tests: use config.networking.hosts not networking.extraHosts
The latter is an opaque string but IP addresses can be extracted by
hostname from the former.
|
2020-12-02 13:07:01 +01:00 |
Emery Hemingway
|
80c7fbba10
|
tests/bash: fix free Libc variable in Dhall config
|
2020-12-02 13:06:34 +01:00 |
Emery Hemingway
|
6a177ba62b
|
update libc argv patch
|
2020-11-28 18:56:21 +01:00 |
Emery Hemingway
|
066a91bd31
|
Update ROM diagnostic patches
|
2020-11-28 18:55:45 +01:00 |
Emery Hemingway
|
25ca508821
|
Hydra: init spec file
|
2020-11-27 15:03:29 +01:00 |
Emery Hemingway
|
bb516f2da6
|
tests: add default timeout
Set a timeout at two minutes to catch tests that fail to boot.
|
2020-11-27 15:03:29 +01:00 |
Emery Hemingway
|
a0da21e1f8
|
Update Nixpkgs input to fix double logging
|
2020-11-27 15:03:29 +01:00 |
Emery Hemingway
|
77e0aa3e05
|
Update Genode Labs sources
|
2020-11-27 15:03:29 +01:00 |
Emery Hemingway
|
0c4c969fa4
|
overlay: refactor helper functions
|
2020-11-27 11:45:16 +01:00 |
Emery Hemingway
|
9dd4e5393b
|
rsync: avoid popt, split binaries from manpages
|
2020-11-27 11:45:16 +01:00 |
Emery Hemingway
|
467a509f6e
|
ncurses: add configure patch
|
2020-11-27 11:45:16 +01:00 |
Emery Hemingway
|
57a093afea
|
Update dhall-genode for Libc helper
|
2020-11-27 11:45:16 +01:00 |
Emery Hemingway
|
143c0c5551
|
genodePackages: symlink *.lib.so to lib*.so in depot outputs
This less about linking to lib*.so and more about the Bintools package
detecting that these actually are directories containing libraries.
|
2020-11-27 11:45:16 +01:00 |
Emery Hemingway
|
1348a45b8e
|
libc: always set argv and envp to valid addresses
|
2020-11-27 11:45:16 +01:00 |
Emery Hemingway
|
40f86fadb1
|
solo5: patch misleading indentation
|
2020-11-26 12:55:08 +01:00 |
Emery Hemingway
|
4b2ffc218b
|
overlay: remove llvmPackages_8
|
2020-11-26 12:55:08 +01:00 |