ddc65a8087
Refactor routing
...
Patch init to simplify routing. Update Dhall library and NixOS modules
accordingly.
2020-11-13 14:47:24 +01:00
f53eb6cd3b
Update dhall-genode for policy-route changes
2020-10-23 10:16:24 +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
100be5270a
dhall: policy specification
2020-06-11 11:10:39 +05:30
06c8283dee
test: update to use new routes configuration method
2020-05-01 05:22:58 +05:30
78c5a2bb19
Test consolidation
2020-04-14 00:01:39 +05:30
818014787f
Update to latest Dhall in Nixpkgs master
2020-03-18 19:40:58 +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
94868758e5
Refactor tests to use nested Init/Child type
2020-02-24 22:47:07 +01:00
fffd53664b
Apply manifest merging in tests
...
Merged manifests are easier to work with as the number of inputs increase.
2020-01-25 00:17:33 +01:00
c5da3100c4
Solo5 tests must exit for Sotest compatibility
2020-01-24 14:46:51 +01:00
3aba7ac2c2
Use Genode.Boot.Rom type when building test images
2020-01-24 14:46:51 +01:00
4fa63f845d
Fix Solo5 library
...
The solo5.lib.so library must be stripped to be compatible with ld.lib.so.
2020-01-24 14:46:51 +01:00
4af2598ecb
Use flake apps for tests
2020-01-24 14:46:51 +01:00
40df18a963
Relicense as CC0-1.0
2020-01-24 14:46:41 +01:00
7388091a3e
Update flake
2020-01-14 17:07:51 +01:00
9410b836c2
Use "record override" syntatic-sugar in Dhall test configs
2019-10-23 14:12:02 +02:00
4ecd77a06d
Split Solo5 tests
2019-10-23 00:54:35 +02:00