|
|
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 |
|
|
|
dad28cc17b
|
Add core, raise, and lower to glossary
|
2020-01-29 10:44:38 +01:00 |
|
|
|
fcb0a48401
|
Lower single child tests for NOVA test wrapper
If an single-child init is added to a list of children then it must be
safe to lower the child and add it to the list directly.
|
2020-01-28 14:00:09 +01:00 |
|
|
|
23193460fa
|
Remove fs_report test
Nix flake check should always succeed for the master checkout, but this
test was always broken.
|
2020-01-28 11:18:55 +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 |
|
|
|
916c30c541
|
Fix solo5 package inputs
|
2020-01-28 00:18:05 +01:00 |
|
|
|
ace08e5b97
|
Add packaging to README
|
2020-01-27 12:01:12 +01:00 |
|
|
|
003d63b820
|
Add boot descriptions to README
|
2020-01-27 11:54:08 +01:00 |
|
|
|
0afe6af54d
|
nova-image: remove Arch union type
|
2020-01-27 11:49:39 +01:00 |
|
|
|
66db226f44
|
Add simple noux test
|
2020-01-25 18:14:18 +01:00 |
|
|
|
093430d8f9
|
apps.nova-iso: write ISO to stdout
|
2020-01-25 17:33:12 +01:00 |
|
|
|
638f072d9b
|
Add missing manifests to libc and stdcxx
|
2020-01-25 17:11:10 +01:00 |
|
|
|
9e42e0893d
|
Fix check instructions in README
|
2020-01-25 12:39:54 +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 |
|
|
|
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 |
|
