| .. |
|
LIB.patch
|
genodeSources: 20.05 -> 20.08
|
2020-09-02 13:01:53 +02:00 |
|
binary-labels.patch
|
Increase binary labels strings to accomodate store paths
|
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: patch linker script for programs
|
2020-10-28 16:46:05 +01:00 |
|
event_filter.patch
|
genodeSources: 20.05 -> 20.08
|
2020-09-02 13:01:53 +02:00 |
|
gcc-port.patch
|
cleanup apps
|
2020-08-17 14:10:24 +02:00 |
|
genode_dyn.ld.patch
|
genodeSources: patch linker script for programs
|
2020-10-28 16:46:05 +01:00 |
|
libc.patch
|
genodeSources: 20.05 -> 20.08
|
2020-09-02 13:01:53 +02:00 |
|
ports.nix
|
Prepare ports using x86_64-linux nixpkgs
|
2020-10-23 10:16:24 +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
|
Update Genode sources to latest master
|
2020-10-20 00:08:35 +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 |
|
vfs_import.patch
|
vfs_import: log each copy and the completion of import
|
2020-06-11 11:10:39 +05:30 |
Ehmry -
f517d86d15