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
40c1977779
Replace test framework
...
Adopt the Python test driver from NixOS. Temporarily drop Sotest
runs.
2020-06-01 17:15:03 +05:30
4696802515
solo5: 0.6.4 -> 0.6.5
2020-05-15 11:12:43 +05:30
bdcc22d5be
dhall-genode: update to fix missing parent-provides
2020-05-01 06:33:27 +05:30
d8ba46e742
tests: consolidate sotest to a single project
...
Make one SoTest run per hydra evaluation.
2020-04-26 11:55:02 +05:30
1400dded7e
fixup! tests: consolidate rtc, signal, pci into x86 test
2020-04-26 11:48:05 +05:30
722edd4d8e
tests: make sotest opt-in
...
Sotest must be explicitly enabled for tests. Use new build-product
subtypes for hydra. Use bender binary provided by Cyberus.
2020-04-15 16:47:46 +05:30
78c5a2bb19
Test consolidation
2020-04-14 00:01:39 +05:30
ed3cf7f063
Prefer Genode Labs packages from depot builds
2020-04-08 21:22:52 +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
a61c3532e8
Build more packages using upstream build system
...
- Implement support for "ports"
- Update Nixpkgs to use Genode 20.02
- Remove packaging of forked Genode
2020-03-02 19:17:14 +01:00
94868758e5
Refactor tests to use nested Init/Child type
2020-02-24 22:47:07 +01:00
d37bff8d16
Derive QEMU memory for tests from init configuration
...
Boot QEMU tests with the minimum required memory. This value can be
derived from the test configuration rather than set manually.
2020-02-19 13:26:15 +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
02ab09bd3a
Remove solo5 test meta.maintainers
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
48eec79d46
Move packaging of Genode core repositories here
2020-01-22 13:02:43 +01:00
7388091a3e
Update flake
2020-01-14 17:07:51 +01:00
606b45b96a
Initial Nix flake
2019-11-17 13:24:08 +01:00
4ecd77a06d
Split Solo5 tests
2019-10-23 00:54:35 +02:00