LIB.patch
|
genodeSources: 20.05 -> 20.08
|
2020-09-02 13:01:53 +02:00 |
default.nix
|
Prepare ports using x86_64-linux nixpkgs
|
2020-10-22 20:20:53 +02: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 |
libc-raise.patch
|
Patch libc for tox
|
2020-10-22 20:31:49 +02: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-22 20:20:53 +02:00 |
sandbox.patch
|
init/sandbox: patch in <routes> support
|
2020-05-01 05:22:58 +05:30 |
targets.nix
|
Add rom_logger to targets
|
2020-10-22 20:31:49 +02:00 |
test-log.patch
|
test-log: patch for exit
|
2020-05-19 16:38:49 +05:30 |
test-pci.patch
|
Patch test-pci to show Virtio devices
|
2020-10-22 20:31:49 +02:00 |
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 |