2
0
Commit Graph

30 Commits

Author SHA1 Message Date
1f53f25419 Relicense as MIT 2020-08-27 17:15:09 +02:00
2d16e134aa runDhallCommand: actually append extra nativeBuildInputs 2020-07-11 02:44:39 +05:30
d3a3b8dc7c runDhallCommand: append extra nativeBuildInputs 2020-06-28 12:38:48 +05:30
4975a2815e lib: add gzip support to hwImage, novaImage 2020-06-04 20:01:57 +05:30
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
53afe72493 tests: initially format ROM manifests into maps 2020-05-18 17:27:20 +05:30
ba2d96d419 Place binaries into $out directories rather than simply as $out 2020-05-16 02:50:10 +05:30
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
78c5a2bb19 Test consolidation 2020-04-14 00:01:39 +05:30
e48de48711 Optimize base-hw tests, include dhall config with build 2020-04-11 14:09:06 +05:30
b01c8fd51d Create lib.runDhallCommand
An optimization for using the Dhall library.
2020-04-09 23:29:53 +05:30
7a04959417 Patch Genode sources per-package
Avoid cross package rebuilds when patching. Remove init schema
validation, as its not worth patching.
2020-04-08 21:22:52 +05:30
8cdc415417 Optimize Dhall processing 2020-04-05 13:31:11 +05:30
e0742fef4e Reduction 2020-03-31 23:10:32 +05:30
a0a31fa548 Restructure flake.nix to use a nixpkgs overlay 2020-03-24 18:32:57 +05:30
818014787f Update to latest Dhall in Nixpkgs master 2020-03-18 19:40:58 +05:30
2aab55dc38 Write boot image configuration to file during compilation
Sometimes ld chokes on complex XML renderings.
2020-03-07 14:03:16 +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
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
dee1ae53e6 Call isohybrid on ISO produced by buildNovaIso 2020-01-14 18:23:19 +01:00
7388091a3e Update flake 2020-01-14 17:07:51 +01:00
53a18acd08 Use cross-compliation pairs in Flake 2019-12-02 18:05:59 +01:00
15360a0ff5 Move upstream build to external flake 2019-12-02 18:05:59 +01:00
bd1ac437ba Take pre-built binaries from a genode-depot flake 2019-11-17 13:24:08 +01:00
ef9f76744f Bump dhall-genode
• update dhall-genode revision
• render top-level init config with lib.renderDhallInit
• convert Init.Start.config to optionals
• lib.validate renderDhallInit XML
2019-11-17 13:24:08 +01:00
20594a9962 Build QEMU script with ISO 2019-11-17 13:24:08 +01:00
410a6522c5 Add 'lib' to flake top-level 2019-11-17 13:24:08 +01:00