510be88863
execve test
2020-11-07 16:42:31 +01:00
ebf3606705
Port NixOS module system
...
Convert the tests to use the module system from NixOS.
2020-11-01 20:29:19 +01:00
1168611109
Update Genode sources to latest master
2020-10-20 00:08:35 +02:00
c3385aedd0
genodeSources: 20.05 -> 20.08
2020-09-02 13:01:53 +02:00
4f74ff9452
Documentation and cleanup
2020-08-02 16:46:34 +02:00
44184862cc
Target overrides for linux hybrid depot packages
2020-06-20 22:12:45 +05:30
8134e9bd13
vbox: remove iasl patch
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
3f646b6fa6
Add rtc-dummy driver
2020-06-03 16:56:06 +05:30
0dc02f60e5
Lighttpd can be built from Nixpkgs
2020-05-31 12:44:52 +05:30
c1457bf140
cached_fs_rom: session diagnostics
2020-05-30 17:31:12 +05:30
89408c5315
test-log: patch for exit
2020-05-19 16:38:49 +05:30
3704785f69
genodelabs/vbox: nitpicker patch
2020-05-16 02:50:10 +05:30
55c093e0c5
Use updateAutotoolsGnuConfigScript to build legacy packages
...
Update Nixpkgs to use the updateAutotoolsGnuConfigScript hook everywhere
for Genode target platforms. Tweak Coreutils and Bash to compile, make
some tests.
2020-05-08 02:05:41 +05:30
32d65d2f41
Patch Genode upstream to use conventional library names
...
Use library names that are compatible with legacy software.
2020-05-08 01:11:30 +05:30
0c981604d8
input_filter: patch for survivibility
2020-05-01 05:22:58 +05:30
1f5dfe4ef5
tests: add vmm_x86 test
2020-04-26 11:48:23 +05:30
1400dded7e
fixup! tests: consolidate rtc, signal, pci into x86 test
2020-04-26 11:48:05 +05:30
ae135e118d
Genodelabs/init: always route "ld.lib.so" ROM to parent
2020-04-25 16:27:01 +05:30
b4ee16345f
Apply iasl patch to virtualbox
2020-04-09 23:37:36 +05:30
ed3cf7f063
Prefer Genode Labs packages from depot builds
2020-04-08 21:22:52 +05:30
8a74a86599
Move genodeSources from packages to overlay
2020-03-31 23:10:32 +05:30
d1f2ea427e
Add app/gpt_write to Genode Make targets
2020-03-24 18:32:57 +05:30
6d6d585f0f
Refactor of packaging and testing
...
- Remove manifests from Dhall configurations and mix all
test inputs to generate test ROM maps.
- All loader and timer drivers are name ld.lib.so and timer_drv.
- Replace packages of multiple Genode Labs targets with functions
to build individual targets. These packages are not explicitly
specified unless they require inputs from the source ports or
extra nativeBuildInputs.
- Add support for building from Genode world repository.
2020-03-18 19:39:57 +05:30