genode/repos/dde_rump/run
Sebastian Sumpf b5c780993c board: Rename virt_qemu to virt_qemu_<arch>
Instead of having a generic "virt_qemu" board use "virt_qemu_<arch>" in
order to have a clean distinction between boards. Current supported
boards are "virt_qemu_arm_v7a", "virt_qemu_arm_v8a", and
"virt_qemu_riscv".

issue #4034
2022-08-17 12:03:26 +02:00
..
fs_rom_update_ext2.run Replace 'ram_block' with 'vfs_block' 2020-06-29 14:22:28 +02:00
libc_vfs_ext2.run run: rename 'check_installed' to 'installed_command' 2018-07-03 09:39:31 +02:00
libc_vfs_fs_ext2.run board: Rename virt_qemu to virt_qemu_<arch> 2022-08-17 12:03:26 +02:00
rump_ext2.run board: Rename virt_qemu to virt_qemu_<arch> 2022-08-17 12:03:26 +02:00
rump_fat.run run/rump_fat: raise ram quota 2020-10-09 13:33:35 +02:00
rump_iso.run Replace 'rom_block' with 'vfs_block' 2020-06-29 14:22:28 +02:00
vfs_stress_ext2.run Remove SIGNAL/CAP/RAM services from run scripts 2022-04-13 08:08:00 +02:00
vfs_stress_rump_fs.run Remove SIGNAL/CAP/RAM services from run scripts 2022-04-13 08:08:00 +02:00