|
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 |
|
|
d086d68b60
|
Update genode-depot flake
|
2020-01-24 19:05:45 +01:00 |
|
|
fefed4c5e8
|
Write a decent README
|
2020-01-24 17:02:29 +01:00 |
|
|
c5da3100c4
|
Solo5 tests must exit for Sotest compatibility
|
2020-01-24 14:46:51 +01:00 |
|
|
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 |
|
|
3aba7ac2c2
|
Use Genode.Boot.Rom type when building test images
|
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 |
|
|
33d11182e3
|
Add Rtc test
|
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 |
|
|
f78cb9477e
|
Produce Sotest binaries.zip for every NOVA test
|
2020-01-24 14:46:51 +01:00 |
|
|
8beebf2ae1
|
Dhall formatting
|
2020-01-24 14:46:51 +01:00 |
|
|
3494b589ec
|
Test exits must propagate
When a test component exits this needs to be caught by a test harness,
therefore the intermediate init needs to exit as well.
|
2020-01-24 14:46:51 +01:00 |
|
|
37144809f6
|
Add log test
|
2020-01-24 14:46:51 +01:00 |
|
|
9fc90076d6
|
Replace apps.linux-boot with apps.linux-image
Replace a script that builds a Linux boot image into the current workings
directory and boots it with a script that only builds the image.
|
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 |
|
|
7be2a6f17e
|
Checks: add sotest builder
|
2020-01-24 14:46:51 +01:00 |
|
|
3b9d3aa99f
|
Pin Bender revision
|
2020-01-24 14:46:51 +01:00 |
|
|
02ab09bd3a
|
Remove solo5 test meta.maintainers
|
2020-01-24 14:46:51 +01:00 |
|
|
ae1b0b8ef1
|
Add .history to .gitignore
|
2020-01-24 14:46:51 +01:00 |
|
|
4af2598ecb
|
Use flake apps for tests
|
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 |
|
|
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 |
|
|
2b486eb4e0
|
Add bender package
|
2020-01-17 14:12:57 +01:00 |
|
|
5a8beaebba
|
Add manifests to genodelabs repo packages
|
2020-01-17 14:12:57 +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 |
|
|
e14f33934e
|
Move NOVA package to Genode repository
|
2020-01-14 16:22:16 +01:00 |
|
|
4ca891a7c4
|
Solo5: make tests runnable outside of build
|
2020-01-14 16:22:10 +01:00 |
|
|
da38074890
|
Update dhall-genode
This is to pull in Init.toStart.
|
2020-01-14 16:21:19 +01:00 |
|
|
15d3588f33
|
Update flake
|
2019-12-26 14:37:00 +05:30 |
|
|
7634f2fc08
|
Expose x86_64-linux-x86_64-genode as x86_64-linux
These packages will execute with the Linux kernel, so pass them thru as
a convience.
|
2019-12-20 07:40:40 +00:00 |
|
|
43989b1e0f
|
Prune dead code, improve readibility, update README
|
2019-12-14 14:23:50 +00:00 |
|
|
4df8ba5a63
|
Update README to refer to flakes
|
2019-12-14 11:03:27 +00:00 |
|
|
1a33ea2f3a
|
Initial NixOS module
A NixOS module for creating base-linux Genode subsystems.
|
2019-12-14 10:28:21 +00:00 |
|
|
e092f8cc86
|
Merge branch 'flake'
|
2019-12-02 18:09:11 +01:00 |
|
|
b78a960252
|
Remove libc test
The test-libc binary is not published by Genode Labs.
|
2019-12-02 18:05:59 +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 |
|
|
41d52bbd35
|
Do not link to the fullpaths of libc and libm
|
2019-11-20 20:49:54 +01:00 |
|
|
0263e06fbe
|
stdcxx: do not pass -stdlib=libc++ to the linker
|
2019-11-19 16:58:19 +01:00 |
|
|
206b86a5ae
|
Flatten upstream source
|
2019-11-17 13:36:39 +01:00 |
|
|
c3f716aafc
|
Use LLVM C++ standard library
|
2019-11-17 13:24:08 +01:00 |
|
|
4d96688e0b
|
Add stdcxx package
|
2019-11-17 13:24:08 +01:00 |
|
|
2a8398984e
|
Add libc to flake
|
2019-11-17 13:24:08 +01:00 |
|