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

341 Commits

Author SHA1 Message Date
Ehmry - 12501f291d nixos: add genode.shells option 2020-11-13 14:42:38 +01:00
Ehmry - 2f89f5258d nixos: use Dhall VFS library in store-wrapper 2020-11-13 14:42:38 +01:00
Ehmry - 960296c924 nixos: lxip support in hardware.nix 2020-11-13 14:42:38 +01:00
Ehmry - 2ef90ede67 packages/genodelabs: move all those patches to a subdir 2020-11-13 14:42:38 +01:00
Ehmry - b008da6c13 tests: add simple networking test 
Just a test that pings one machine from another.
 2020-11-13 14:42:38 +01:00
Ehmry - 8dca0ca962 packages: add the rest of the nic_* utilities 2020-11-13 14:42:38 +01:00
Ehmry - de83025a05 nixos: cleanup networking, initialize eth0 during tests 2020-11-13 14:42:38 +01:00
Ehmry - 467f595830 nixos: add genode.init.coreROMs option 
Explicitly specify ROMs that must route past the nix-store.
 2020-11-13 14:42:38 +01:00
Ehmry - 635383f9b0 nixos: add genode.init.verbose enable option 2020-11-13 14:42:38 +01:00
Ehmry - 90331128e8 Patch Virtio PCI net driver to log message before dying 2020-11-13 14:42:38 +01:00
Ehmry - 7eadc89a83 Patch the x86 platform driver to assign devices by index 2020-11-13 14:42:38 +01:00
Ehmry - 59882dc09b vfs_lwip: patch to reorder log messages 2020-11-13 14:42:38 +01:00
Ehmry - 88151eb41b nixos: do not set a default Nic driver 
Setting a default driver will cause confusion later.
 2020-11-13 14:42:38 +01:00
Ehmry - 7cacc33070 tests: add Bash test 
Test Bash and Coretuils from the Genode Labs ports.
 2020-11-13 14:42:38 +01:00
Ehmry - 35a3a96a3a genodeSources: patch to detect session_label failures 
Throw an exception if destructive truncation is detected in Session_label.
 2020-11-13 14:42:38 +01:00
Ehmry - 475011f6e4 nixos: add genode.init.children.….configFile to system closure 2020-11-13 14:42:38 +01:00
Ehmry - 3a20da12df core: patch to log ROM when diag is set 2020-11-13 14:42:38 +01:00
Ehmry - 81bd56ef1a Simplify packages layout 2020-11-13 14:42:38 +01:00
Ehmry - 452dbe8d78 Refactor routing 
Patch init to simplify routing. Update Dhall library and NixOS modules
accordingly.
 2020-11-13 14:42:38 +01:00
Ehmry - ce9ad6b101 cached_fs_rom: path for symlink traversal 2020-11-13 14:33:17 +01:00
Ehmry - 2132b41ab9 init: patch to log error when configuration cannot be parsed 2020-11-08 16:10:30 +01:00
Ehmry - 5b98e963c7 nixos: check config.system.build.initXml with xmllint 2020-11-08 16:10:30 +01:00
Ehmry - ecf6f909a9 Update README 2020-11-01 21:13:37 +01:00
Ehmry - b0cd6b04fc Fix dde_bsd ports hash 2020-11-01 20:29:19 +01:00
Ehmry - 2489b3fd10 libsodium, libtoxcore 2020-11-01 20:29:19 +01:00
Ehmry - 849b39b04b solo5: increase slack in time test 2020-11-01 20:29:19 +01:00
Ehmry - ebf3606705 Port NixOS module system 
Convert the tests to use the module system from NixOS.
 2020-11-01 20:29:19 +01:00
Ehmry - 6889fb09c2 Update Nixpkgs flake input 2020-11-01 20:29:19 +01:00
Ehmry - a48dc08001 Return to *.lib.so library naming convention 2020-11-01 20:12:04 +01:00
Ehmry - df806832d6 Update Nixpkgs fake input 2020-10-28 09:40:20 +01:00
Ehmry - f53eb6cd3b Update dhall-genode for policy-route changes 2020-10-23 10:16:24 +02:00
Ehmry - 552b18bf8d Add virtio network devices to qemu 2020-10-23 10:16:24 +02:00
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 - 7abb698e0f Add Cachix note to README 2020-10-19 14:58:45 +02:00
Ehmry - 10823eaced solo5: 0.6.6 -> 0.6.7 2020-10-19 01:16:06 +02:00
Ehmry - e207dd7547 rsync: override to disable ACL 
Same as the BSDs.
 2020-10-19 00:14:50 +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 - 205fadc83d show_input: 0.1.0 -> 0.2.0 2020-09-02 13:01:53 +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 - 22fdb68411 README: move IRC channel 2020-08-23 13:34:48 +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 - f9958ba64b genodeSources: arch-independent ports 
Do not apply the fixup phase to ports, patching script shebangs is
infecting the ports with the packages used to prepare the port.

Do not import the package versions from the genodeSources
derivation, this breaks "nix flake list".

Make the selection of packages from buildPackages more explicit.
 2020-08-15 18:37:43 +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