Commit Graph

35 Commits (master)

Author SHA1 Message Date
Emery Hemingway 532d6eec0f Use buildPackages where appropriate 4 months ago
Emery Hemingway efa6cd7274 Add global imports to Dhall files 1 year ago
Emery Hemingway 94c73172cb Rename dhall-genode to dhall-sigil 2 years ago
Emery Hemingway ebf3606705 Port NixOS module system 2 years ago
Emery Hemingway f9dfdbb995 Take dhall from x86_64-linux nixpkgs 2 years ago
Emery Hemingway 1f53f25419 Relicense as MIT 2 years ago
Emery Hemingway 2d16e134aa runDhallCommand: actually append extra nativeBuildInputs 2 years ago
Emery Hemingway d3a3b8dc7c runDhallCommand: append extra nativeBuildInputs 2 years ago
Emery Hemingway 4975a2815e lib: add gzip support to hwImage, novaImage 2 years ago
Emery Hemingway 559f4aa3c0 Add aarch64 platform 2 years ago
Emery Hemingway 40c1977779 Replace test framework 2 years ago
Emery Hemingway 53afe72493 tests: initially format ROM manifests into maps 2 years ago
Emery Hemingway ba2d96d419 Place binaries into $out directories rather than simply as $out 2 years ago
Emery Hemingway 32d65d2f41 Patch Genode upstream to use conventional library names 2 years ago
Emery Hemingway 78c5a2bb19 Test consolidation 3 years ago
Emery Hemingway e48de48711 Optimize base-hw tests, include dhall config with build 3 years ago
Emery Hemingway b01c8fd51d Create lib.runDhallCommand 3 years ago
Emery Hemingway 7a04959417 Patch Genode sources per-package 3 years ago
Emery Hemingway 8cdc415417 Optimize Dhall processing 3 years ago
Emery Hemingway e0742fef4e Reduction 3 years ago
Emery Hemingway a0a31fa548 Restructure flake.nix to use a nixpkgs overlay 3 years ago
Emery Hemingway 818014787f Update to latest Dhall in Nixpkgs master 3 years ago
Emery Hemingway 2aab55dc38 Write boot image configuration to file during compilation 3 years ago
Emery Hemingway fffd53664b Apply manifest merging in tests 3 years ago
Emery Hemingway 4af2598ecb Use flake apps for tests 3 years ago
Emery Hemingway 40df18a963 Relicense as CC0-1.0 3 years ago
Emery Hemingway 48eec79d46 Move packaging of Genode core repositories here 3 years ago
Emery Hemingway dee1ae53e6 Call isohybrid on ISO produced by buildNovaIso 3 years ago
Emery Hemingway 7388091a3e Update flake 3 years ago
Emery Hemingway 53a18acd08 Use cross-compliation pairs in Flake 3 years ago
Emery Hemingway 15360a0ff5 Move upstream build to external flake 3 years ago
Emery Hemingway bd1ac437ba Take pre-built binaries from a genode-depot flake 3 years ago
Emery Hemingway ef9f76744f Bump dhall-genode 3 years ago
Emery Hemingway 20594a9962 Build QEMU script with ISO 3 years ago
Emery Hemingway 410a6522c5 Add 'lib' to flake top-level 3 years ago