Commit Graph

44 Commits (master)

Author SHA1 Message Date
Emery Hemingway 99c0670abf Refactor overlay/llvm-11 to overiddes only 4 months ago
Emery Hemingway ad9261c0ac A bunch of unstaged stuff I found months later 10 months ago
Emery Hemingway 1c09089856 Update Nixpkgs input 1 year ago
Emery Hemingway 4bc0f2ddea overlay: extend nimblePackages in overlay 2 years ago
Emery Hemingway e3524c4277 erisPatchHook: patch ELF images to load ERIS URNs 2 years ago
Emery Hemingway 4a613364df Patch Nim compiler and standard library 2 years ago
Emery Hemingway 825a066f79 Update development shell 2 years ago
Emery Hemingway 6f9f1b7069 Replace lib.crossLists with lib.cartesianProductOfSets 2 years ago
Emery Hemingway 8d22ff4eb3 Use Nixpkg master as flake input 2 years ago
Emery Hemingway 5e9039f88e Move Genode flake input into overlay 2 years ago
Emery Hemingway 0a2d6fea1a Update Nixpkgs input 2 years ago
Emery Hemingway a0da21e1f8 Update Nixpkgs input to fix double logging 2 years ago
Emery Hemingway 77e0aa3e05 Update Genode Labs sources 2 years ago
Emery Hemingway 57a093afea Update dhall-genode for Libc helper 2 years ago
Emery Hemingway 8aff4142c9 overlay: LLVM 8 -> 11 2 years ago
Emery Hemingway 6889fb09c2 Update Nixpkgs flake input 2 years ago
Emery Hemingway df806832d6 Update Nixpkgs fake input 2 years ago
Emery Hemingway 1168611109 Update Genode sources to latest master 2 years ago
Emery Hemingway 5ed177cba7 Update Nixpkgs input 2 years ago
Emery Hemingway a60ccd13e2 Update nixpkgs input to release-20.09 2 years ago
Emery Hemingway c415f1ea13 Update Nixpkgs revision 2 years ago
Emery Hemingway 98bb8ea8e7 flake: update Nixpkgs input 2 years ago
Emery Hemingway a50b0a7d0e Remove Noux test, remove prebuilt depo packages 2 years ago
Emery Hemingway 55c093e0c5 Use updateAutotoolsGnuConfigScript to build legacy packages 2 years ago
Emery Hemingway 33fa10e0c0 solo5: 0.6.3 -> 0.6.4 3 years ago
Emery Hemingway 9e07ce1156 Use NixOS/nixpkgs as upstream 3 years ago
Emery Hemingway 14fc773ac9 Move Nixpkgs patching to overlay 3 years ago
Emery Hemingway 918c74a111 Make devShell a Genode Labs FHS environment 3 years ago
Emery Hemingway 818014787f Update to latest Dhall in Nixpkgs master 3 years ago
Emery Hemingway 6d6d585f0f Refactor of packaging and testing 3 years ago
Emery Hemingway a61c3532e8 Build more packages using upstream build system 3 years ago
Emery Hemingway 64a34814dd Update Nixpkgs revision 3 years ago
Emery Hemingway dcd9cfed13 Update flake 3 years ago
Emery Hemingway d086d68b60 Update genode-depot flake 3 years ago
Emery Hemingway 48eec79d46 Move packaging of Genode core repositories here 3 years ago
Emery Hemingway 7388091a3e Update flake 3 years ago
Emery Hemingway 15d3588f33 Update flake 3 years ago
Emery Hemingway 1a33ea2f3a Initial NixOS module 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 ace8d49163 Move toolchain overlay to Nixpkgs fork 3 years ago
Emery Hemingway bd1ac437ba Take pre-built binaries from a genode-depot flake 3 years ago
Emery Hemingway 83904ca3e6 Update flake 3 years ago
Emery Hemingway 606b45b96a Initial Nix flake 3 years ago