ehmry/genodepkgs
ehmry
/
genodepkgs
2
0
Fork 0
Code Releases Activity
328 Commits 44 Branches 0 Tags 1.3 MiB
Commit Graph

115 Commits

Author SHA1 Message Date
Ehmry - e859a030a4 Simplify packages layout 2020-11-07 16:42:48 +01:00
Ehmry - e3e1e0f285 WiP! rsync test 2020-11-07 16:42:48 +01:00
Ehmry - b951c22a0d Refactor routing 
Patch init to simplify routing. Update Dhall library and NixOS modules
accordingly.
 2020-11-07 16:42:48 +01:00
Ehmry - 510be88863 execve test 2020-11-07 16:42:31 +01:00
Ehmry - ebf3606705 Port NixOS module system 
Convert the tests to use the module system from NixOS.
 2020-11-01 20:29:19 +01:00
Ehmry - f53eb6cd3b Update dhall-genode for policy-route changes 2020-10-23 10:16:24 +02:00
Ehmry - 552b18bf8d Add virtio network devices to qemu 2020-10-23 10:16:24 +02:00
Ehmry - c3385aedd0 genodeSources: 20.05 -> 20.08 2020-09-02 13:01:53 +02:00
Ehmry - 1f53f25419 Relicense as MIT 2020-08-27 17:15:09 +02:00
Ehmry - 4f74ff9452 Documentation and cleanup 2020-08-02 16:46:34 +02:00
Ehmry - 100be5270a dhall: policy specification 2020-06-11 11:10:39 +05:30
Ehmry - 6d2eb81def tests/vmm_arm: recreate device-tree-binary 2020-06-03 20:33:40 +05:30
Ehmry - f939ff7d39 Add vmm_arm test 2020-06-03 19:45:23 +05:30
Ehmry - 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
Ehmry - 40c1977779 Replace test framework 
Adopt the Python test driver from NixOS. Temporarily drop Sotest
runs.
 2020-06-01 17:15:03 +05:30
Ehmry - 46c6561302 test/posix: convert to bash script 2020-05-30 17:31:12 +05:30
Ehmry - 4acaab5244 test: pass store to test children 2020-05-30 17:31:12 +05:30
Ehmry - f289a4b88f tests: load binaries from store tarball 
Remove linux tests, not compatible with cached_fs_rom.
 2020-05-19 17:51:24 +05:30
Ehmry - 53afe72493 tests: initially format ROM manifests into maps 2020-05-18 17:27:20 +05:30
Ehmry - ba2d96d419 Place binaries into $out directories rather than simply as $out 2020-05-16 02:50:10 +05:30
Ehmry - 4696802515 solo5: 0.6.4 -> 0.6.5 2020-05-15 11:12:43 +05:30
Ehmry - a50b0a7d0e Remove Noux test, remove prebuilt depo packages 
The stdenv is not building against the Noux libc, so remove it.
 2020-05-08 09:32:23 +05:30
Ehmry - 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
Ehmry - 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
Ehmry - bdcc22d5be dhall-genode: update to fix missing parent-provides 2020-05-01 06:33:27 +05:30
Ehmry - 06c8283dee test: update to use new routes configuration method 2020-05-01 05:22:58 +05:30
Ehmry - d8ba46e742 tests: consolidate sotest to a single project 
Make one SoTest run per hydra evaluation.
 2020-04-26 11:55:02 +05:30
Ehmry - 1f5dfe4ef5 tests: add vmm_x86 test 2020-04-26 11:48:23 +05:30
Ehmry - 1400dded7e fixup! tests: consolidate rtc, signal, pci into x86 test 2020-04-26 11:48:05 +05:30
Ehmry - 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
Ehmry - 78c5a2bb19 Test consolidation 2020-04-14 00:01:39 +05:30
Ehmry - e97e80dcaf block_router: 0.1.1 <- 0.1.0 2020-04-13 12:40:45 +05:30
Ehmry - e48de48711 Optimize base-hw tests, include dhall config with build 2020-04-11 14:09:06 +05:30
Ehmry - ed3cf7f063 Prefer Genode Labs packages from depot builds 2020-04-08 21:22:52 +05:30
Ehmry - 33d866c5e7 Cleanup checks 2020-04-08 21:22:52 +05:30
Ehmry - 8cdc415417 Optimize Dhall processing 2020-04-05 13:31:11 +05:30
Ehmry - 049b0d3053 tests: rename hostPkgs to buildPkgs 
This is consistent with Nixpkgs terminology.
 2020-04-04 16:32:37 +05:30
Ehmry - 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
Ehmry - a0a31fa548 Restructure flake.nix to use a nixpkgs overlay 2020-03-24 18:32:57 +05:30
Ehmry - 6558f3c232 Add block_router package 2020-03-24 18:32:56 +05:30
Ehmry - 818014787f Update to latest Dhall in Nixpkgs master 2020-03-18 19:40:58 +05:30
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 - 2aab55dc38 Write boot image configuration to file during compilation 
Sometimes ld chokes on complex XML renderings.
 2020-03-07 14:03:16 +01:00
Ehmry - 19dccc4862 Update dhall-genode, use report_rom inference 2020-03-07 10:57:41 +01:00
Ehmry - 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
Ehmry - ffa45d7d2b Remove testing cruft 2020-03-01 01:53:18 +01:00
Ehmry - 52fe694be4 Add NOVA driver_manager test 2020-02-27 18:17:14 +01:00
Ehmry - 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
Ehmry - 458d3b5808 Build Genode tests with upstream build system 2020-02-24 22:47:07 +01:00
Ehmry - 94868758e5 Refactor tests to use nested Init/Child type 2020-02-24 22:47:07 +01:00