2
0
Fork 0
Commit Graph

33 Commits

Author SHA1 Message Date
Emery Hemingway 3f4de2d116 Update Nixpkgs input to fix double logging 2020-11-27 14:47:25 +01:00
Emery Hemingway c5881dfcc9 Update Genode Labs sources 2020-11-27 14:47:24 +01:00
Emery Hemingway 57a093afea Update dhall-genode for Libc helper 2020-11-27 11:45:16 +01:00
Emery Hemingway 8aff4142c9 overlay: LLVM 8 -> 11 2020-11-24 11:13:07 +01:00
Emery Hemingway 6889fb09c2 Update Nixpkgs flake input 2020-11-01 20:29:19 +01:00
Emery Hemingway df806832d6 Update Nixpkgs fake input 2020-10-28 09:40:20 +01:00
Emery Hemingway 1168611109 Update Genode sources to latest master 2020-10-20 00:08:35 +02:00
Emery Hemingway 5ed177cba7 Update Nixpkgs input 2020-10-18 23:55:47 +02:00
Emery Hemingway a60ccd13e2 Update nixpkgs input to release-20.09 2020-09-18 12:53:46 +02:00
Emery Hemingway c415f1ea13 Update Nixpkgs revision 2020-08-15 09:26:47 +02:00
Emery Hemingway 98bb8ea8e7 flake: update Nixpkgs input 2020-06-11 11:10:32 +05:30
Emery Hemingway 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
Emery Hemingway 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
Emery Hemingway 33fa10e0c0 solo5: 0.6.3 -> 0.6.4 2020-04-04 14:25:32 +05:30
Emery Hemingway 9e07ce1156 Use NixOS/nixpkgs as upstream 2020-03-31 23:10:32 +05:30
Emery Hemingway 14fc773ac9 Move Nixpkgs patching to overlay 2020-03-24 19:48:26 +05:30
Emery Hemingway 918c74a111 Make devShell a Genode Labs FHS environment 2020-03-20 23:45:47 +05:30
Emery Hemingway 818014787f Update to latest Dhall in Nixpkgs master 2020-03-18 19:40:58 +05:30
Emery Hemingway 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
Emery Hemingway 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
Emery Hemingway 64a34814dd Update Nixpkgs revision 2020-02-15 16:51:21 +01:00
Emery Hemingway dcd9cfed13 Update flake 2020-02-04 18:49:02 +01:00
Emery Hemingway d086d68b60 Update genode-depot flake 2020-01-24 19:05:45 +01:00
Emery Hemingway 48eec79d46 Move packaging of Genode core repositories here 2020-01-22 13:02:43 +01:00
Emery Hemingway 7388091a3e Update flake 2020-01-14 17:07:51 +01:00
Emery Hemingway 15d3588f33 Update flake 2019-12-26 14:37:00 +05:30
Emery Hemingway 1a33ea2f3a Initial NixOS module
A NixOS module for creating base-linux Genode subsystems.
2019-12-14 10:28:21 +00:00
Emery Hemingway 53a18acd08 Use cross-compliation pairs in Flake 2019-12-02 18:05:59 +01:00
Emery Hemingway 15360a0ff5 Move upstream build to external flake 2019-12-02 18:05:59 +01:00
Emery Hemingway ace8d49163 Move toolchain overlay to Nixpkgs fork 2019-11-17 13:24:08 +01:00
Emery Hemingway bd1ac437ba Take pre-built binaries from a genode-depot flake 2019-11-17 13:24:08 +01:00
Emery Hemingway 83904ca3e6 Update flake 2019-11-17 13:24:08 +01:00
Emery Hemingway 606b45b96a Initial Nix flake 2019-11-17 13:24:08 +01:00