|
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 |
|
|
ace8d49163
|
Move toolchain overlay to Nixpkgs fork
|
2019-11-17 13:24:08 +01:00 |
|
|
2269f1ec65
|
Flake simplification
|
2019-11-17 13:24:08 +01:00 |
|
|
bd1ac437ba
|
Take pre-built binaries from a genode-depot flake
|
2019-11-17 13:24:08 +01:00 |
|
|
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 |
|
|
20594a9962
|
Build QEMU script with ISO
|
2019-11-17 13:24:08 +01:00 |
|
|
410a6522c5
|
Add 'lib' to flake top-level
|
2019-11-17 13:24:08 +01:00 |
|
|
4aba5a4e85
|
Convert flake to a attrset of systems
|
2019-11-17 13:24:08 +01:00 |
|
|
7eda0b9f55
|
Rename genode.os to genode-os
|
2019-11-17 13:24:08 +01:00 |
|
|
83904ca3e6
|
Update flake
|
2019-11-17 13:24:08 +01:00 |
|
|
606b45b96a
|
Initial Nix flake
|
2019-11-17 13:24:08 +01:00 |
|
|
d57a144978
|
Update Genode sources, test Nix-built core
|
2019-11-17 13:24:07 +01:00 |
|
|
6e0023d7f4
|
Update Genode sources, test Nix-built core
|
2019-10-28 16:01:47 +01:00 |
|
|
3359a5453e
|
Prepare Genode sources as fixed-output derivations
This may prevent some unecessary rebuilds in the future.
|
2019-10-28 16:01:47 +01:00 |
|
|
ccdfcd7a5b
|
Set preferLocalBuild for tests
|
2019-10-28 16:01:46 +01:00 |
|
|
318d718724
|
Configure QEMU with q35 machine model
|
2019-10-24 12:08:04 +02:00 |
|
|
d812f2b3a9
|
Test with full QEMU version, PC model
|
2019-10-23 17:46:35 +02:00 |
|
|
5e2037815d
|
Update upstream rev and remove some depot binaries from tests
|
2019-10-23 14:12:25 +02:00 |
|
|
b1c0f98835
|
Update Nixpkgs revision
Clean up the OpenSSL changes
|
2019-10-23 14:12:25 +02:00 |
|
|
9410b836c2
|
Use "record override" syntatic-sugar in Dhall test configs
|
2019-10-23 14:12:02 +02:00 |
|
|
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 |
|
|
d343e1ee7b
|
Update Solo5 patch
|
2019-10-23 00:54:35 +02:00 |
|
|
4ecd77a06d
|
Split Solo5 tests
|
2019-10-23 00:54:35 +02:00 |
|
|
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 |
|
|
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 |
|
|
756bec7052
|
Hydra: use merged commit for testing Solo5
|
2019-10-21 20:51:07 +02:00 |
|
|
9d01ae7aa8
|
Solo5: add temporary patch
|
2019-10-21 19:46:41 +02:00 |
|
|
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 |
|
|
e3589e5a41
|
Add Hydra spec for Solo5 pull requests
|
2019-10-21 14:18:10 +02:00 |
|