|
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 |
|
|
2c1ace9a2a
|
Update dhall-genode
|
2020-01-24 14:46:51 +01:00 |
|
|
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 |
|
|
adff57ad62
|
Update Genode revision
This fixes the core page-faults.
|
2020-01-24 14:46:51 +01:00 |
|
|
8be4745bd5
|
Update Sotest-producer
This fixes the test count in test logs.
|
2020-01-24 14:46:51 +01:00 |
|
|
3b9d3aa99f
|
Pin Bender revision
|
2020-01-24 14:46:51 +01:00 |
|
|
40df18a963
|
Relicense as CC0-1.0
|
2020-01-24 14:46:41 +01:00 |
|
|
1ecc11d078
|
Add sotest-producer package
|
2020-01-22 13:03:31 +01:00 |
|
|
2aefd243f8
|
Update Genode revision
This update brings in the platform logging commit.
|
2020-01-22 13:02:45 +01:00 |
|
|
48eec79d46
|
Move packaging of Genode core repositories here
|
2020-01-22 13:02:43 +01:00 |
|
|
49b4209526
|
Move pkgs to packages
|
2020-01-17 14:12:57 +01:00 |
|