genode/repos/dde_rump/patches
Sebastian Sumpf e27737a0a5 dde_rump: add RISC-V support
This commit adds RISC-V file-system support through the backport
originally provided by ARMv8.

fixes #4800
2023-04-17 14:48:25 +02:00
..
aarch64.patch dde_rump: add RISC-V support 2023-04-17 14:48:25 +02:00
riscv.patch dde_rump: add RISC-V support 2023-04-17 14:48:25 +02:00
rump.patch dde_rump: eliminate global ctors 2019-11-19 14:23:55 +01:00
sync.patch dde_rump: move periodic sync into rump kernel thread 2022-04-13 09:29:06 +02:00