ehmry/genodepkgs
ehmry
/
genodepkgs
2
0
Fork 0
Code Releases Activity
313 Commits 44 Branches 0 Tags 1.3 MiB
Commit Graph

61 Commits

Author SHA1 Message Date
Ehmry - f9dfdbb995 Take dhall from x86_64-linux nixpkgs 2020-10-23 10:16:24 +02:00
Ehmry - 839f66e2de Prepare ports using x86_64-linux nixpkgs 2020-10-23 10:16:24 +02:00
Ehmry - 1168611109 Update Genode sources to latest master 2020-10-20 00:08:35 +02:00
Ehmry - a60ccd13e2 Update nixpkgs input to release-20.09 2020-09-18 12:53:46 +02:00
Ehmry - c3385aedd0 genodeSources: 20.05 -> 20.08 2020-09-02 13:01:53 +02:00
Ehmry - 1f53f25419 Relicense as MIT 2020-08-27 17:15:09 +02:00
Ehmry - 1735376f48 cleanup apps 2020-08-17 14:10:24 +02:00
Ehmry - a5f0c3bc3a Revert "Add aarch64-linux to build platforms" 
Cannot build on aarch64-linux without a pre-compiled toolchain.
 2020-08-15 19:38:25 +02:00
Ehmry - c415f1ea13 Update Nixpkgs revision 2020-08-15 09:26:47 +02:00
Ehmry - 1e73ff4793 Add aarch64-linux to build platforms 2020-08-05 10:43:32 +02:00
Ehmry - 4f74ff9452 Documentation and cleanup 2020-08-02 16:46:34 +02:00
Ehmry - 576c1ca41a nixos-module: ISO support 2020-06-11 11:10:39 +05:30
Ehmry - a03f7d7d63 Initial NixOS module 
The module can be tested by the command `nix run .#nixosModule`.
 2020-06-11 11:10:39 +05:30
Ehmry - 559f4aa3c0 Add aarch64 platform 
Add the hw-virt_qemu platform to tests, rename hw to hw-pc.
 2020-06-03 16:56:33 +05:30
Ehmry - 40c1977779 Replace test framework 
Adopt the Python test driver from NixOS. Temporarily drop Sotest
runs.
 2020-06-01 17:15:03 +05:30
Ehmry - e3e5528569 Update flake attributes, README, cleanup 
Thanks to Dan Connolly for noticing deprecated formating in the flake.
 2020-05-31 11:55:48 +05:30
Ehmry - b8bbdc8d0f dev-shell: remove qemu 2020-05-27 01:52:21 +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 - d8ba46e742 tests: consolidate sotest to a single project 
Make one SoTest run per hydra evaluation.
 2020-04-26 11:55:02 +05:30
Ehmry - 6aa43a1129 Move all x86_64-linux-x86_64-genode checks to 86_64-linux 2020-04-13 16:16:30 +05:30
Ehmry - 33d866c5e7 Cleanup checks 2020-04-08 21:22:52 +05:30
Ehmry - 8cdc415417 Optimize Dhall processing 2020-04-05 13:31:11 +05:30
Ehmry - be75518e61 Expand Genode packages within overlay 
Move the expansion of the Genode specific packages to the overlay as
nixpkgs.genodePackages and expose this as outputs.packages. This allows
access to offsets like buildPackages.genodePackages or
targetPackages.genodePackages.
 2020-04-04 14:25:32 +05:30
Ehmry - e0742fef4e Reduction 2020-03-31 23:10: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 - a0a31fa548 Restructure flake.nix to use a nixpkgs overlay 2020-03-24 18:32:57 +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 - ee580c30e2 Remove NixOS module 
Not working anymore, base-linux seems to be broken.
 2020-03-02 17:11:15 +01:00
Ehmry - 94868758e5 Refactor tests to use nested Init/Child type 2020-02-24 22:47:07 +01:00
Ehmry - 36f682ccd4 Update Genode Dhall library 
Freeze the library when committing to the Nix store. The Init.toStart
function now lowers an only-child automatically, so adjust the Timer
service routes in tests accordingly.
 2020-02-19 13:26:15 +01:00
Ehmry - 895c06ee0b Build base-nova using Genode Labs build system 2020-02-19 13:26:15 +01:00
Ehmry - 7d5d2a3c5e Add base-hw-pc 
Build base-hw-pc with the Genode Labs build system
 2020-02-19 13:26:15 +01:00
Ehmry - 6052822283 Move "lib" to output 2020-02-05 12:04:30 +01:00
Ehmry - dcd9cfed13 Update flake 2020-02-04 18:49:02 +01:00
Ehmry - 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
Ehmry - 4af2598ecb Use flake apps for tests 2020-01-24 14:46:51 +01:00
Ehmry - 40df18a963 Relicense as CC0-1.0 2020-01-24 14:46:41 +01:00
Ehmry - 48eec79d46 Move packaging of Genode core repositories here 2020-01-22 13:02:43 +01:00
Ehmry - 49b4209526 Move pkgs to packages 2020-01-17 14:12:57 +01:00
Ehmry - 5a8beaebba Add manifests to genodelabs repo packages 2020-01-17 14:12:57 +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 - 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
Ehmry - 43989b1e0f Prune dead code, improve readibility, update README 2019-12-14 14:23:50 +00:00
Ehmry - 4df8ba5a63 Update README to refer to flakes 2019-12-14 11:03:27 +00:00