Ehmry -
8a74a86599
Move genodeSources from packages to overlay
2020-03-31 23:10:32 +05:30
Ehmry -
e0742fef4e
Reduction
2020-03-31 23:10:32 +05:30
Ehmry -
04d1588044
Remove stdcxx package
2020-03-31 23:10:32 +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 -
ca4b1a0b3f
Remove libc package
...
This needs to be done properly at the overlay
2020-03-31 23:10:32 +05:30
Ehmry -
14fc773ac9
Move Nixpkgs patching to overlay
2020-03-24 19:48:26 +05:30
Ehmry -
a0a31fa548
Restructure flake.nix to use a nixpkgs overlay
2020-03-24 18:32:57 +05:30
Ehmry -
d1f2ea427e
Add app/gpt_write to Genode Make targets
2020-03-24 18:32:57 +05:30
Ehmry -
6558f3c232
Add block_router package
2020-03-24 18:32:56 +05:30
Ehmry -
918c74a111
Make devShell a Genode Labs FHS environment
2020-03-20 23:45:47 +05:30
Ehmry -
085fedfef5
Update dhallGenode
2020-03-19 15:36:11 +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 -
57d8d01e42
Update Genode to 20.02 release
2020-02-28 14:42:34 +01:00
Ehmry -
52fe694be4
Add NOVA driver_manager test
2020-02-27 18:17:14 +01:00
Ehmry -
9349b3acb8
Update dhall-genode
2020-02-27 17:33:41 +01:00
Ehmry -
458d3b5808
Build Genode tests with upstream build system
2020-02-24 22:47:07 +01:00
Ehmry -
7f30ff1fed
Tweak Genode upstream build wrapper
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
Ehmry -
bfebc6dcef
Patch Genode Labs builds for unlabeled LOG sessions (SOTEST)
2020-02-19 14:52:34 +01:00
Ehmry -
36f682ccd4
Update Genode Dhall library
...
Freeze the library when committing to the Nix store. The Init.toStart
function now lowers an only-child automatically, so adjust the Timer
service routes in tests accordingly.
2020-02-19 13:26:15 +01:00
Ehmry -
895c06ee0b
Build base-nova using Genode Labs build system
2020-02-19 13:26:15 +01:00
Ehmry -
7d5d2a3c5e
Add base-hw-pc
...
Build base-hw-pc with the Genode Labs build system
2020-02-19 13:26:15 +01:00
Ehmry -
c0b5ee9f73
Build only the Genode base repositories with GCC
2020-02-14 13:04:40 +01:00
Ehmry -
bb659887f3
Update Genode revision
...
The label used to request an unlabeled LOG session is now "unlabeled"
and more of the gems repo is built now.
2020-01-29 19:38:55 +01:00
Ehmry -
916c30c541
Fix solo5 package inputs
2020-01-28 00:18:05 +01:00
Ehmry -
ace08e5b97
Add packaging to README
2020-01-27 12:01:12 +01:00
Ehmry -
638f072d9b
Add missing manifests to libc and stdcxx
2020-01-25 17:11:10 +01:00
Ehmry -
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
Ehmry -
6b7e439283
Move manifest generation to apps.generate-manifest
...
This makes it fairly easier to generate manifests in downstream
repositories.
2020-01-24 20:46:39 +01:00
Ehmry -
658fa243df
Explicitly strip the solo5 library
...
The server7 hydra is producing a different binary than my laptop.
2020-01-24 14:46:51 +01:00
Ehmry -
2c1ace9a2a
Update dhall-genode
2020-01-24 14:46:51 +01:00
Ehmry -
4fa63f845d
Fix Solo5 library
...
The solo5.lib.so library must be stripped to be compatible with ld.lib.so.
2020-01-24 14:46:51 +01:00
Ehmry -
adff57ad62
Update Genode revision
...
This fixes the core page-faults.
2020-01-24 14:46:51 +01:00
Ehmry -
8be4745bd5
Update Sotest-producer
...
This fixes the test count in test logs.
2020-01-24 14:46:51 +01:00
Ehmry -
3b9d3aa99f
Pin Bender revision
2020-01-24 14:46:51 +01:00
Ehmry -
40df18a963
Relicense as CC0-1.0
2020-01-24 14:46:41 +01:00
Ehmry -
1ecc11d078
Add sotest-producer package
2020-01-22 13:03:31 +01:00
Ehmry -
2aefd243f8
Update Genode revision
...
This update brings in the platform logging commit.
2020-01-22 13:02:45 +01:00
Ehmry -
48eec79d46
Move packaging of Genode core repositories here
2020-01-22 13:02:43 +01:00
Ehmry -
49b4209526
Move pkgs to packages
2020-01-17 14:12:57 +01:00