..
LIB.patch
Fix execve mapping of special libraries
2020-05-30 17:31:12 +05:30
binary-labels.patch
Increase binary labels strings to accomodate store paths
2020-05-30 17:31:12 +05:30
cached_fs_rom.patch
cached_fs_rom: session diagnostics
2020-05-30 17:31:12 +05:30
cxx-align.patch
Prefer Genode Labs packages from depot builds
2020-04-08 21:22:52 +05:30
default.nix
genodeSources: arch-independent ports
2020-08-15 18:37:43 +02:00
input_filter.patch
input_filter: patch for survivibility
2020-05-01 05:22:58 +05:30
libc.patch
libc: add newlocale and freelocale dummies
2020-06-11 11:10:39 +05:30
port-versions.nix
genodeSources: arch-independent ports
2020-08-15 18:37:43 +02:00
ports.nix
genodeSources: arch-independent ports
2020-08-15 18:37:43 +02:00
sandbox.patch
init/sandbox: patch in <routes> support
2020-05-01 05:22:58 +05:30
svn-trust-server-cert.patch
Prefer Genode Labs packages from depot builds
2020-04-08 21:22:52 +05:30
targets.nix
Documentation and cleanup
2020-08-02 16:46:34 +02:00
test-log.patch
test-log: patch for exit
2020-05-19 16:38:49 +05:30
test-pci.patch
fixup! tests: consolidate rtc, signal, pci into x86 test
2020-04-26 11:48:05 +05:30
test-signal.patch
fixup! tests: consolidate rtc, signal, pci into x86 test
2020-04-26 11:48:05 +05:30
test-vmm_x86.patch
tests: add vmm_x86 test
2020-04-26 11:48:23 +05:30
toolchain.nix
Add aarch64 platform
2020-06-03 16:56:33 +05:30
vbox-framebuffer-fail-on-fail.patch
genodelabs/vbox: nitpicker patch
2020-05-16 02:50:10 +05:30
vfs_import.patch
vfs_import: log each copy and the completion of import
2020-06-11 11:10:39 +05:30