Ehmry -
f8806a9beb
Update Nixpkgs input to fix double logging
2020-11-27 12:22:13 +01:00
Ehmry -
a8ad99b3d9
Update Genode Labs sources
2020-11-27 12:22:07 +01:00
Ehmry -
57a093afea
Update dhall-genode for Libc helper
2020-11-27 11:45:16 +01:00
Ehmry -
8aff4142c9
overlay: LLVM 8 -> 11
2020-11-24 11:13:07 +01:00
Ehmry -
6889fb09c2
Update Nixpkgs flake input
2020-11-01 20:29:19 +01:00
Ehmry -
df806832d6
Update Nixpkgs fake input
2020-10-28 09:40:20 +01:00
Ehmry -
1168611109
Update Genode sources to latest master
2020-10-20 00:08:35 +02:00
Ehmry -
5ed177cba7
Update Nixpkgs input
2020-10-18 23:55:47 +02:00
Ehmry -
a60ccd13e2
Update nixpkgs input to release-20.09
2020-09-18 12:53:46 +02:00
Ehmry -
c415f1ea13
Update Nixpkgs revision
2020-08-15 09:26:47 +02:00
Ehmry -
98bb8ea8e7
flake: update Nixpkgs input
2020-06-11 11:10:32 +05:30
Ehmry -
a50b0a7d0e
Remove Noux test, remove prebuilt depo packages
...
The stdenv is not building against the Noux libc, so remove it.
2020-05-08 09:32:23 +05:30
Ehmry -
55c093e0c5
Use updateAutotoolsGnuConfigScript to build legacy packages
...
Update Nixpkgs to use the updateAutotoolsGnuConfigScript hook everywhere
for Genode target platforms. Tweak Coreutils and Bash to compile, make
some tests.
2020-05-08 02:05:41 +05:30
Ehmry -
33fa10e0c0
solo5: 0.6.3 -> 0.6.4
2020-04-04 14:25:32 +05:30
Ehmry -
9e07ce1156
Use NixOS/nixpkgs as upstream
2020-03-31 23:10:32 +05:30
Ehmry -
14fc773ac9
Move Nixpkgs patching to overlay
2020-03-24 19:48:26 +05:30
Ehmry -
918c74a111
Make devShell a Genode Labs FHS environment
2020-03-20 23:45:47 +05:30
Ehmry -
818014787f
Update to latest Dhall in Nixpkgs master
2020-03-18 19:40:58 +05:30
Ehmry -
6d6d585f0f
Refactor of packaging and testing
...
- Remove manifests from Dhall configurations and mix all
test inputs to generate test ROM maps.
- All loader and timer drivers are name ld.lib.so and timer_drv.
- Replace packages of multiple Genode Labs targets with functions
to build individual targets. These packages are not explicitly
specified unless they require inputs from the source ports or
extra nativeBuildInputs.
- Add support for building from Genode world repository.
2020-03-18 19:39:57 +05:30
Ehmry -
a61c3532e8
Build more packages using upstream build system
...
- Implement support for "ports"
- Update Nixpkgs to use Genode 20.02
- Remove packaging of forked Genode
2020-03-02 19:17:14 +01:00
Ehmry -
64a34814dd
Update Nixpkgs revision
2020-02-15 16:51:21 +01:00
Ehmry -
dcd9cfed13
Update flake
2020-02-04 18:49:02 +01:00
Ehmry -
d086d68b60
Update genode-depot flake
2020-01-24 19:05:45 +01:00
Ehmry -
48eec79d46
Move packaging of Genode core repositories here
2020-01-22 13:02:43 +01:00
Ehmry -
7388091a3e
Update flake
2020-01-14 17:07:51 +01:00
Ehmry -
15d3588f33
Update flake
2019-12-26 14:37:00 +05:30
Ehmry -
1a33ea2f3a
Initial NixOS module
...
A NixOS module for creating base-linux Genode subsystems.
2019-12-14 10:28:21 +00: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 -
ace8d49163
Move toolchain overlay to Nixpkgs fork
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 -
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 -