ehmry/sigil
ehmry
/
sigil
1
0
Fork 0
Code Issues Pull Requests Projects Releases Activity
224 Commits 5 Branches 0 Tags 1.2 MiB
Commit Graph

43 Commits

Author SHA1 Message Date
Emery Hemingway d8ba46e742 tests: consolidate sotest to a single project 
Make one SoTest run per hydra evaluation.
 2020-04-26 11:55:02 +05:30
Emery Hemingway 1400dded7e fixup! tests: consolidate rtc, signal, pci into x86 test 2020-04-26 11:48:05 +05:30
Emery Hemingway 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
Emery Hemingway 78c5a2bb19 Test consolidation 2020-04-14 00:01:39 +05:30
Emery Hemingway e48de48711 Optimize base-hw tests, include dhall config with build 2020-04-11 14:09:06 +05:30
Emery Hemingway 33d866c5e7 Cleanup checks 2020-04-08 21:22:52 +05:30
Emery Hemingway 8cdc415417 Optimize Dhall processing 2020-04-05 13:31:11 +05:30
Emery Hemingway 049b0d3053 tests: rename hostPkgs to buildPkgs 
This is consistent with Nixpkgs terminology.
 2020-04-04 16:32:37 +05:30
Emery Hemingway db7d458b5e Add package manifests at testing site 
The manifests can be generated at late as possible. Also, in the future
a list of binaries in use by an init expression can be extracted and
selected from a list of input packages.
 2020-03-31 23:10:32 +05:30
Emery Hemingway a0a31fa548 Restructure flake.nix to use a nixpkgs overlay 2020-03-24 18:32:57 +05:30
Emery Hemingway 818014787f Update to latest Dhall in Nixpkgs master 2020-03-18 19:40:58 +05:30
Emery Hemingway 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
Emery Hemingway 2aab55dc38 Write boot image configuration to file during compilation 
Sometimes ld chokes on complex XML renderings.
 2020-03-07 14:03:16 +01:00
Emery Hemingway 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
Emery Hemingway 629e6930c7 Add qemuArgs to tests, invoke tests with testEnv 
Execute QEMU tests with ${qemuArgs}, rename env to testEnv and
merge testEnv into test shell variables.
 2020-02-27 17:57:03 +01:00
Emery Hemingway 94868758e5 Refactor tests to use nested Init/Child type 2020-02-24 22:47:07 +01:00
Emery Hemingway 83d8a8881d Consolidate SOTEST wrapper for all test platforms 2020-02-19 14:17:52 +01:00
Emery Hemingway 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
Emery Hemingway 895c06ee0b Build base-nova using Genode Labs build system 2020-02-19 13:26:15 +01:00
Emery Hemingway 7d5d2a3c5e Add base-hw-pc 
Build base-hw-pc with the Genode Labs build system
 2020-02-19 13:26:15 +01:00
Emery Hemingway 1744edee2e Boot Qemu with -kernel, skip ISO 2020-02-05 12:25:39 +01:00
Emery Hemingway e88537c411 nova-image: write image to stdout 2020-01-28 00:38:09 +01:00
Emery Hemingway 66db226f44 Add simple noux test 2020-01-25 18:14:18 +01:00
Emery Hemingway 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
Emery Hemingway 3aba7ac2c2 Use Genode.Boot.Rom type when building test images 2020-01-24 14:46:51 +01:00
Emery Hemingway f78cb9477e Produce Sotest binaries.zip for every NOVA test 2020-01-24 14:46:51 +01:00
Emery Hemingway 4af2598ecb Use flake apps for tests 2020-01-24 14:46:51 +01:00
Emery Hemingway 40df18a963 Relicense as CC0-1.0 2020-01-24 14:46:41 +01:00
Emery Hemingway 53a18acd08 Use cross-compliation pairs in Flake 2019-12-02 18:05:59 +01:00
Emery Hemingway 20594a9962 Build QEMU script with ISO 2019-11-17 13:24:08 +01:00
Emery Hemingway 410a6522c5 Add 'lib' to flake top-level 2019-11-17 13:24:08 +01:00
Emery Hemingway 4aba5a4e85 Convert flake to a attrset of systems 2019-11-17 13:24:08 +01:00
Emery Hemingway 606b45b96a Initial Nix flake 2019-11-17 13:24:08 +01:00
Emery Hemingway d57a144978 Update Genode sources, test Nix-built core 2019-11-17 13:24:07 +01:00
Emery Hemingway ccdfcd7a5b Set preferLocalBuild for tests 2019-10-28 16:01:46 +01:00
Emery Hemingway 318d718724 Configure QEMU with q35 machine model 2019-10-24 12:08:04 +02:00
Emery Hemingway d812f2b3a9 Test with full QEMU version, PC model 2019-10-23 17:46:35 +02:00
Emery Hemingway 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
Emery Hemingway 504f59716c Make "config" and "iso" test attributes accessible 2019-10-13 13:24:46 +02:00
Emery Hemingway 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
Emery Hemingway fbc11b0698 Publish NOVA test ISOs 2019-10-09 16:05:40 +02:00
Emery Hemingway cb7e956a73 Collect test modules by procedure 2019-10-08 15:53:27 +02:00
Emery Hemingway 9096313d6c Add NOVA tests 2019-10-07 23:39:26 +02:00