Ehmry -
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
Ehmry -
458d3b5808
Build Genode tests with upstream build system
2020-02-24 22:47:07 +01:00
Ehmry -
4af2598ecb
Use flake apps for tests
2020-01-24 14:46:51 +01:00
Ehmry -
40df18a963
Relicense as CC0-1.0
2020-01-24 14:46:41 +01:00
Ehmry -
48eec79d46
Move packaging of Genode core repositories here
2020-01-22 13:02:43 +01:00
Ehmry -
15360a0ff5
Move upstream build to external flake
2019-12-02 18:05:59 +01:00
Ehmry -
4aba5a4e85
Convert flake to a attrset of systems
2019-11-17 13:24:08 +01:00
Ehmry -
5e2037815d
Update upstream rev and remove some depot binaries from tests
2019-10-23 14:12:25 +02:00
Ehmry -
1d3e849bc4
Pass a testEnv attrset when importing test files
...
This allows test files to contain multiple test derivations and check
test harness attributes.
2019-10-23 00:54:35 +02:00
Ehmry -
a3f8d20d23
Tests: replace most of the Tcl code
...
Tcl is awful. Generate NOVA test ISOs with a shell script derivation.
2019-10-10 10:34:48 +02:00
Ehmry -
cb7e956a73
Collect test modules by procedure
2019-10-08 15:53:27 +02:00
Ehmry -
9096313d6c
Add NOVA tests
2019-10-07 23:39:26 +02:00
Ehmry -
a1259a54e7
Tests: split off Linux test driver, generate with Dhall
2019-10-05 20:41:02 +02:00
Ehmry -
4d51c1671f
Add tests
2019-10-04 12:46:23 +02:00