 Ehmry -
|
b78a960252
|
Remove libc test
The test-libc binary is not published by Genode Labs.
|
2019-12-02 18:05:59 +01:00 |
|
Ehmry -
|
53a18acd08
|
Use cross-compliation pairs in Flake
|
2019-12-02 18:05:59 +01:00 |
|
Ehmry -
|
15360a0ff5
|
Move upstream build to external flake
|
2019-12-02 18:05:59 +01:00 |
|
Ehmry -
|
41d52bbd35
|
Do not link to the fullpaths of libc and libm
|
2019-11-20 20:49:54 +01:00 |
|
Ehmry -
|
0263e06fbe
|
stdcxx: do not pass -stdlib=libc++ to the linker
|
2019-11-19 16:58:19 +01:00 |
|
Ehmry -
|
206b86a5ae
|
Flatten upstream source
|
2019-11-17 13:36:39 +01:00 |
|
Ehmry -
|
c3f716aafc
|
Use LLVM C++ standard library
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
4d96688e0b
|
Add stdcxx package
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
2a8398984e
|
Add libc to flake
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
ace8d49163
|
Move toolchain overlay to Nixpkgs fork
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
2269f1ec65
|
Flake simplification
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
bd1ac437ba
|
Take pre-built binaries from a genode-depot flake
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
ef9f76744f
|
Bump dhall-genode
• update dhall-genode revision
• render top-level init config with lib.renderDhallInit
• convert Init.Start.config to optionals
• lib.validate renderDhallInit XML
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
20594a9962
|
Build QEMU script with ISO
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
410a6522c5
|
Add 'lib' to flake top-level
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
4aba5a4e85
|
Convert flake to a attrset of systems
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
7eda0b9f55
|
Rename genode.os to genode-os
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
83904ca3e6
|
Update flake
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
606b45b96a
|
Initial Nix flake
|
2019-11-17 13:24:08 +01:00 |
|
Ehmry -
|
d57a144978
|
Update Genode sources, test Nix-built core
|
2019-11-17 13:24:07 +01:00 |
|
Ehmry -
|
ccdfcd7a5b
|
Set preferLocalBuild for tests
|
2019-10-28 16:01:46 +01:00 |
|
Ehmry -
|
318d718724
|
Configure QEMU with q35 machine model
|
2019-10-24 12:08:04 +02:00 |
|
Ehmry -
|
d812f2b3a9
|
Test with full QEMU version, PC model
|
2019-10-23 17:46:35 +02:00 |
|
Ehmry -
|
5e2037815d
|
Update upstream rev and remove some depot binaries from tests
|
2019-10-23 14:12:25 +02:00 |
|
Ehmry -
|
b1c0f98835
|
Update Nixpkgs revision
Clean up the OpenSSL changes
|
2019-10-23 14:12:25 +02:00 |
|
Ehmry -
|
9410b836c2
|
Use "record override" syntatic-sugar in Dhall test configs
|
2019-10-23 14:12:02 +02:00 |
|
Ehmry -
|
1df76e3bca
|
Optionally pass extraOverlays through release.nix
This allows packages to be be overriden simultaneously for both builds
and tests.
|
2019-10-23 00:54:35 +02:00 |
|
Ehmry -
|
d343e1ee7b
|
Update Solo5 patch
|
2019-10-23 00:54:35 +02:00 |
|
Ehmry -
|
4ecd77a06d
|
Split Solo5 tests
|
2019-10-23 00:54:35 +02:00 |
|
Ehmry -
|
1d3e849bc4
|
Pass a testEnv attrset when importing test files
This allows test files to contain multiple test derivations and check
test harness attributes.
|
2019-10-23 00:54:35 +02:00 |
|
Ehmry -
|
b2d4dc491e
|
Hydra: build Solo5 PRs using release derivation
This just makes it easier to run the tests as well.
|
2019-10-22 19:54:34 +02:00 |
|
Ehmry -
|
756bec7052
|
Hydra: use merged commit for testing Solo5
|
2019-10-21 20:51:07 +02:00 |
|
Ehmry -
|
9d01ae7aa8
|
Solo5: add temporary patch
|
2019-10-21 19:46:41 +02:00 |
|
Ehmry -
|
93a977c208
|
Solo5: update to 0.6.3, build without patch
Build without patching to test Solo5 PR testing. In effect the build
will fail, but the Solo5 PR test for build system support should
succeed.
|
2019-10-21 17:37:17 +02:00 |
|
Ehmry -
|
e3589e5a41
|
Add Hydra spec for Solo5 pull requests
|
2019-10-21 14:18:10 +02:00 |
|
Ehmry -
|
c1acd31f76
|
Declarative Hydra spec
|
2019-10-20 19:40:50 +02:00 |
|
Ehmry -
|
811692aa7b
|
Update Dhall prelude to 11.0.0
|
2019-10-16 17:09:45 +02:00 |
|
Ehmry -
|
a851525b16
|
Add Nim compiler wrapper
|
2019-10-16 15:53:26 +02:00 |
|
Ehmry -
|
ea9c2d30a6
|
Add libc library
Repackage the depot libc with some metadata.
|
2019-10-16 15:36:12 +02:00 |
|
Ehmry -
|
7b7af23809
|
Add nic_bus
|
2019-10-13 21:49:12 +02:00 |
|
Ehmry -
|
f63364b9fe
|
Update upstream rev
|
2019-10-13 21:33:24 +02:00 |
|
Ehmry -
|
0af2761b44
|
Add PCI test
|
2019-10-13 15:36:48 +02:00 |
|
Ehmry -
|
7f1cdabda9
|
Write a Tup config when entering nix-shell
|
2019-10-13 15:36:48 +02:00 |
|
Ehmry -
|
f0762e152a
|
Update git revisions
|
2019-10-13 15:36:48 +02:00 |
|
Ehmry -
|
504f59716c
|
Make "config" and "iso" test attributes accessible
|
2019-10-13 13:24:46 +02:00 |
|
Ehmry -
|
a3f8d20d23
|
Tests: replace most of the Tcl code
Tcl is awful. Generate NOVA test ISOs with a shell script derivation.
|
2019-10-10 10:34:48 +02:00 |
|
Ehmry -
|
ae10abc7f2
|
Update dhall-haskell, enable tests for Hydra
|
2019-10-10 00:49:18 +02:00 |
|
Ehmry -
|
fbc11b0698
|
Publish NOVA test ISOs
|
2019-10-09 16:05:40 +02:00 |
|
Ehmry -
|
434f364021
|
Add more Solo5 tests
|
2019-10-08 15:53:27 +02:00 |
|
Ehmry -
|
cb7e956a73
|
Collect test modules by procedure
|
2019-10-08 15:53:27 +02:00 |