1f53f25419
Relicense as MIT
2020-08-27 17:15:09 +02:00
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
818014787f
Update to latest Dhall in Nixpkgs master
2020-03-18 19:40:58 +05:30
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
2aab55dc38
Write boot image configuration to file during compilation
...
Sometimes ld chokes on complex XML renderings.
2020-03-07 14:03:16 +01:00
895c06ee0b
Build base-nova using Genode Labs build system
2020-02-19 13:26:15 +01:00
7d5d2a3c5e
Add base-hw-pc
...
Build base-hw-pc with the Genode Labs build system
2020-02-19 13:26:15 +01:00
e88537c411
nova-image: write image to stdout
2020-01-28 00:38:09 +01:00
467ecf7cdb
Generate NOVA image assembly in 64bit mode
...
This fixes a regression introduced in "nova-image: remove Arch union type".
2020-01-28 00:28:10 +01:00
0afe6af54d
nova-image: remove Arch union type
2020-01-27 11:49:39 +01:00
3aba7ac2c2
Use Genode.Boot.Rom type when building test images
2020-01-24 14:46:51 +01:00
8beebf2ae1
Dhall formatting
2020-01-24 14:46:51 +01:00
6540b0e49a
apps.nova-image: override CORE_NOVA via environment
2020-01-24 14:46:51 +01:00
70cafac9d7
Add linux-boot and render-init apps
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