|
94c73172cb
|
Rename dhall-genode to dhall-sigil
|
2021-04-07 15:21:00 +02:00 |
|
|
ebf3606705
|
Port NixOS module system
Convert the tests to use the module system from NixOS.
|
2020-11-01 20:29:19 +01:00 |
|
|
f9dfdbb995
|
Take dhall from x86_64-linux nixpkgs
|
2020-10-23 10:16:24 +02:00 |
|
|
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 |
|
|
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 |
|