genode/repos/dde_rump/lib/mk
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
..
spec dde_rump: add RISC-V support 2023-04-17 14:48:25 +02:00
rump_common.inc dde_rump: increase max I/O request size to 1 MiB 2022-09-21 12:19:09 +02:00
rump_fs.mk dde_rump: move periodic sync into rump kernel thread 2022-04-13 09:29:06 +02:00
rump_include.inc rump: retrieve port sources using git 2018-01-17 12:14:34 +01:00
rump_prefix.inc dde_rump: eliminate global ctors 2019-11-19 14:23:55 +01:00
rump_tools.mk dde_rump: Set '-fcommon' for rump host tools 2020-11-27 09:19:09 +01:00
rump.inc dde_rump: dispatch I/O signals in Timed_semaphore 2022-04-13 09:29:05 +02:00
vfs_rump.mk Replace use of base/snprintf.h by format library 2023-03-13 14:32:53 +01:00