genode/repos/dde_rump/lib/mk/spec
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
..
arm Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
arm_64 dde_rump: add RISC-V support 2023-04-17 14:48:25 +02:00
riscv dde_rump: add RISC-V support 2023-04-17 14:48:25 +02:00
x86_32 Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
x86_64 Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00