6b1c11c82a
Take dhall from x86_64-linux nixpkgs
2020-10-22 20:20:53 +02:00
62abcf8e6d
Prepare ports using x86_64-linux nixpkgs
2020-10-22 20:20:53 +02:00
1168611109
Update Genode sources to latest master
2020-10-20 00:08:35 +02:00
7abb698e0f
Add Cachix note to README
2020-10-19 14:58:45 +02:00
10823eaced
solo5: 0.6.6 -> 0.6.7
2020-10-19 01:16:06 +02:00
e207dd7547
rsync: override to disable ACL
...
Same as the BSDs.
2020-10-19 00:14:50 +02:00
5ed177cba7
Update Nixpkgs input
2020-10-18 23:55:47 +02:00
a60ccd13e2
Update nixpkgs input to release-20.09
2020-09-18 12:53:46 +02:00
205fadc83d
show_input: 0.1.0 -> 0.2.0
2020-09-02 13:01:53 +02:00
c3385aedd0
genodeSources: 20.05 -> 20.08
2020-09-02 13:01:53 +02:00
1f53f25419
Relicense as MIT
2020-08-27 17:15:09 +02:00
22fdb68411
README: move IRC channel
2020-08-23 13:34:48 +02:00
1735376f48
cleanup apps
2020-08-17 14:10:24 +02:00
a5f0c3bc3a
Revert "Add aarch64-linux to build platforms"
...
Cannot build on aarch64-linux without a pre-compiled toolchain.
2020-08-15 19:38:25 +02:00
f9958ba64b
genodeSources: arch-independent ports
...
Do not apply the fixup phase to ports, patching script shebangs is
infecting the ports with the packages used to prepare the port.
Do not import the package versions from the genodeSources
derivation, this breaks "nix flake list".
Make the selection of packages from buildPackages more explicit.
2020-08-15 18:37:43 +02:00
c415f1ea13
Update Nixpkgs revision
2020-08-15 09:26:47 +02:00
1e73ff4793
Add aarch64-linux to build platforms
2020-08-05 10:43:32 +02:00
4f74ff9452
Documentation and cleanup
2020-08-02 16:46:34 +02:00
f54b0c7d51
solo5: 0.6.5 -> 0.6.6
2020-07-23 11:49:31 +02:00
2d16e134aa
runDhallCommand: actually append extra nativeBuildInputs
2020-07-11 02:44:39 +05:30
8beed15b64
Add current status to README
2020-07-03 20:04:25 +05:30
d3a3b8dc7c
runDhallCommand: append extra nativeBuildInputs
2020-06-28 12:38:48 +05:30
44184862cc
Target overrides for linux hybrid depot packages
2020-06-20 22:12:45 +05:30
9f631d1f2d
nixos-module: make vbox log directly to file
2020-06-12 08:14:26 +05:30
ad46ca71df
Update README
2020-06-11 11:10:39 +05:30
c4cba126e2
zlib: collapse library symlinks
2020-06-11 11:10:39 +05:30
c91449cf4e
libc: add newlocale and freelocale dummies
2020-06-11 11:10:39 +05:30
e203c4b57b
nixos-module: graphical and fs log
2020-06-11 11:10:39 +05:30
78cf596db3
nixos-module: add nic_router
2020-06-11 11:10:39 +05:30
576c1ca41a
nixos-module: ISO support
2020-06-11 11:10:39 +05:30
75c24ca27b
nixos-module: build nixos guests with external modulesPath
2020-06-11 11:10:39 +05:30
2bf4fafa59
Update README
2020-06-11 11:10:39 +05:30
a03f7d7d63
Initial NixOS module
...
The module can be tested by the command `nix run .#nixosModule`.
2020-06-11 11:10:39 +05:30
8134e9bd13
vbox: remove iasl patch
2020-06-11 11:10:39 +05:30
730707871a
bash: remove check_dev_tty
2020-06-11 11:10:39 +05:30
0b160f488b
vfs_import: log each copy and the completion of import
2020-06-11 11:10:39 +05:30
6bd3b29f5d
show_input: init at 0.1.0
2020-06-11 11:10:39 +05:30
ce6037f2c1
block_router: 0.1.1 -> 0.1.2
...
Adjust to removal of Genode::strncpy.
2020-06-11 11:10:39 +05:30
100be5270a
dhall: policy specification
2020-06-11 11:10:39 +05:30
60473079e8
ports: extract port version from the Genode sources
2020-06-11 11:10:39 +05:30
98bb8ea8e7
flake: update Nixpkgs input
2020-06-11 11:10:32 +05:30
4975a2815e
lib: add gzip support to hwImage, novaImage
2020-06-04 20:01:57 +05:30
6d2eb81def
tests/vmm_arm: recreate device-tree-binary
2020-06-03 20:33:40 +05:30
f939ff7d39
Add vmm_arm test
2020-06-03 19:45:23 +05:30
dac3650ef5
Update nic_bus package
2020-06-03 19:45:23 +05:30
559f4aa3c0
Add aarch64 platform
...
Add the hw-virt_qemu platform to tests, rename hw to hw-pc.
2020-06-03 16:56:33 +05:30
3f646b6fa6
Add rtc-dummy driver
2020-06-03 16:56:06 +05:30
40c1977779
Replace test framework
...
Adopt the Python test driver from NixOS. Temporarily drop Sotest
runs.
2020-06-01 17:15:03 +05:30
0dc02f60e5
Lighttpd can be built from Nixpkgs
2020-05-31 12:44:52 +05:30
e3e5528569
Update flake attributes, README, cleanup
...
Thanks to Dan Connolly for noticing deprecated formating in the flake.
2020-05-31 11:55:48 +05:30