Ehmry -
|
62118e3a69
|
fixup sandbox patch of genode update
|
2020-12-19 20:19:43 +01:00 |
Ehmry -
|
ce9ee004b0
|
Update dhall-genode to use 20.0.0 prelude
|
2020-12-19 17:16:13 +01:00 |
Ehmry -
|
95118c888b
|
WiP! usb store tests
|
2020-12-19 15:24:49 +01:00 |
Ehmry -
|
39ea48880a
|
nixos: less diag, more verbose
|
2020-12-19 15:24:17 +01:00 |
Ehmry -
|
9c10e2912b
|
nixos: use usb_block_drv for USB storage
|
2020-12-19 15:23:35 +01:00 |
Ehmry -
|
e799474de0
|
fixup usb patches
|
2020-12-19 15:22:24 +01:00 |
Ehmry -
|
5e997da9d9
|
WiP! remove static overlay
|
2020-12-19 15:21:43 +01:00 |
Ehmry -
|
56c6b14dc9
|
Update Nixpkgs input
|
2020-12-19 15:21:03 +01:00 |
Ehmry -
|
5036b62eee
|
fixup update genode
|
2020-12-19 15:20:35 +01:00 |
Ehmry -
|
28a4a17769
|
WiP! patch usb configuration to suck less
|
2020-12-19 15:20:02 +01:00 |
Ehmry -
|
2d91f024a0
|
Genode: 20201127 -> 20201218
|
2020-12-19 14:16:33 +01:00 |
Ehmry -
|
11cb9afcfa
|
dhall-genode: update for Init/Config/Policy/toXML
|
2020-12-18 20:06:24 +01:00 |
Ehmry -
|
1964540fe2
|
WiP! tor test
|
2020-12-18 14:46:42 +01:00 |
Ehmry -
|
bfe3fe0ff0
|
Add static overlay to legacyPackages
|
2020-12-18 11:32:49 +01:00 |
Ehmry -
|
e556b6b949
|
generalize lib/make-bootable-image.nix
|
2020-12-18 11:32:49 +01:00 |
Ehmry -
|
67a95eb6d2
|
fixup romModules
|
2020-12-18 11:32:49 +01:00 |
Ehmry -
|
a21f54ab00
|
WiP! nixosConfigurations
|
2020-12-18 11:32:49 +01:00 |
Ehmry -
|
07a1e2e574
|
Add nixosModules to flake
|
2020-12-14 21:58:25 +01:00 |
Ehmry -
|
90cb9383de
|
bender: update to devel
|
2020-12-10 20:40:17 +01:00 |
Ehmry -
|
6184ec4a20
|
nixos: add graphical log
|
2020-12-10 20:40:17 +01:00 |
Ehmry -
|
6d5a9e8886
|
Boot from USB
|
2020-12-10 20:40:17 +01:00 |
Ehmry -
|
2c96655dd2
|
Cleanup dead nixos-module code
|
2020-12-10 20:40:17 +01:00 |
Ehmry -
|
14b6fe9652
|
dhall-genode: update to nomalize <provides> with policies
|
2020-12-10 20:40:17 +01:00 |
Ehmry -
|
74464b0986
|
nixos-modules: add nix-store USB backend
Load the store from an EXT2 file-system from USB storage. The USB device is
not yet bootable.
|
2020-12-10 20:40:17 +01:00 |
Ehmry -
|
2d6398b215
|
cached_fs_rom: fix off-by-one in symlink copy_cstring
|
2020-12-10 20:40:17 +01:00 |
Ehmry -
|
ec2da46358
|
gdb: update config patch
|
2020-12-10 20:40:17 +01:00 |
Ehmry -
|
97fb7d9a50
|
nixos: add extraVfs and ramQuota options to systemd wrapper
|
2020-12-10 20:40:17 +01:00 |
Ehmry -
|
02864d61b0
|
tor: patch to loosen "user" and "group" tests
|
2020-12-10 20:39:55 +01:00 |
Ehmry -
|
db25338c87
|
openssl: build static
|
2020-12-10 20:31:32 +01:00 |
Ehmry -
|
7d692d55b1
|
libc: patch to remove odd O_NOFOLLOW behavior
|
2020-12-10 20:31:32 +01:00 |
Ehmry -
|
6c9d60dd1f
|
packages/vfs: patch to fix session directory creation
|
2020-12-10 20:31:32 +01:00 |
Ehmry -
|
71de1265ab
|
Patch tor
|
2020-12-10 20:31:32 +01:00 |
Ehmry -
|
b735d2b21c
|
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-10 20:31:32 +01:00 |
Ehmry -
|
363157c96f
|
packages/genodelabs: support for building ports from world repo
|
2020-12-10 20:31:32 +01:00 |
Ehmry -
|
76cf6f9752
|
nixos: pass binary seperately from args in systemd wrapper
|
2020-12-10 20:31:32 +01:00 |
Ehmry -
|
df948cc6d8
|
libc: patch in more missing features
|
2020-12-10 20:25:02 +01:00 |
Ehmry -
|
1c057662e6
|
tests/vmm_x86: need to request platform_info direct from core
|
2020-12-02 15:13:38 +01:00 |
Ehmry -
|
d5c99500dc
|
tests: remove solo5
Solo5 tests are broken by bad label handling in init.
|
2020-12-02 14:29:10 +01:00 |
Ehmry -
|
f25f5115af
|
Add hydraJobs to flake
|
2020-12-02 14:01:14 +01:00 |
Ehmry -
|
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 |
Ehmry -
|
80c7fbba10
|
tests/bash: fix free Libc variable in Dhall config
|
2020-12-02 13:06:34 +01:00 |
Ehmry -
|
6a177ba62b
|
update libc argv patch
|
2020-11-28 18:56:21 +01:00 |
Ehmry -
|
066a91bd31
|
Update ROM diagnostic patches
|
2020-11-28 18:55:45 +01:00 |
Ehmry -
|
25ca508821
|
Hydra: init spec file
|
2020-11-27 15:03:29 +01:00 |
Ehmry -
|
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 |
Ehmry -
|
a0da21e1f8
|
Update Nixpkgs input to fix double logging
|
2020-11-27 15:03:29 +01:00 |
Ehmry -
|
77e0aa3e05
|
Update Genode Labs sources
|
2020-11-27 15:03:29 +01:00 |
Ehmry -
|
0c4c969fa4
|
overlay: refactor helper functions
|
2020-11-27 11:45:16 +01:00 |
Ehmry -
|
9dd4e5393b
|
rsync: avoid popt, split binaries from manpages
|
2020-11-27 11:45:16 +01:00 |
Ehmry -
|
467a509f6e
|
ncurses: add configure patch
|
2020-11-27 11:45:16 +01:00 |