2
0
Fork 0
Commit Graph

9 Commits

Author SHA1 Message Date
Emery Hemingway c3385aedd0 genodeSources: 20.05 -> 20.08 2020-09-02 13:01:53 +02:00
Emery Hemingway 1f53f25419 Relicense as MIT 2020-08-27 17:15:09 +02:00
Emery Hemingway 100be5270a dhall: policy specification 2020-06-11 11:10:39 +05:30
Emery Hemingway 4acaab5244 test: pass store to test children 2020-05-30 17:31:12 +05:30
Emery Hemingway f289a4b88f tests: load binaries from store tarball
Remove linux tests, not compatible with cached_fs_rom.
2020-05-19 17:51:24 +05:30
Emery Hemingway 1400dded7e fixup! tests: consolidate rtc, signal, pci into x86 test 2020-04-26 11:48:05 +05:30
Emery Hemingway 78c5a2bb19 Test consolidation 2020-04-14 00:01:39 +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