Alexander Boettcher
6c5d2253c9
sel4: increase caps in filesystem tests
...
fixes x86_32/64 libc_vfs_fs_ext2 and libc_vfs_fs_fat
2022-08-10 13:33:03 +02:00
Stefan Kalkowski
6eac4276d5
filesystem tests: remove block devices/drivers
...
Fix genodelabs/genode#4490
2022-05-25 12:19:31 +02:00
Martin Stein
626b2f9cf2
run/libc_vfs_fs_fat: add to autopilot
...
Excludes board 'virt_qemu' from the test as we don't have block device drivers
for this board.
Ref #4220
2021-08-18 15:06:12 +02:00
Stefan Kalkowski
d1cf9c86b8
os: introduce device type in platform driver
...
* Move "compatible" property value to "type" attribute
* Turn device_by_property helper in Platform::Connection into device_by_type
Fix #4074
2021-04-20 12:10:58 +02:00
Stefan Kalkowski
bdd923406f
base: remove SPEC variables of boards ( fix #3971 )
...
* Remove SPEC declarations from mk/spec
* Remove all board-specific REQUIRE declaratiions left
* Replace [have_spec <board>] run-script declarations with have_board where necessary
* Remove addition of BOARD variable to SPECS in toplevel Makefile
* Move board-specific directories in base-hw out of specs
2021-01-25 13:58:09 +01:00
Stefan Kalkowski
0cbd1d1b7c
os: adjust sd_card_drv to use platform API
...
Fix #3956
2020-11-27 09:19:09 +01:00
Josef Söntgen
ec711b008e
Replace 'ram_block' with 'vfs_block'
...
Issue #3781 .
2020-06-29 14:22:28 +02:00
Christian Helmuth
1ddf1dbc25
Use ram-block in libc vfs tests on Rpi3
2019-12-19 17:01:42 +01:00
Christian Helmuth
97df705e53
dde_rump: eliminate global ctors
2019-11-19 14:23:55 +01:00
Christian Helmuth
b0271ae5e1
Fix hard-disk image creation in vfs server tests
...
The hard-disk image must be created before boot-image creation as it is
used as boot module by variants of the test (use_ram_block=true).
2019-11-19 14:17:30 +01:00
Stefan Kalkowski
d18d2d0d9b
os: name sd_card_drv unambigously (ref #2190 )
2019-05-16 13:11:01 +02:00
Emery Hemingway
bebbc87c3a
Replace static "genodelabs" depot user with "[depot_user]" call
...
Use "depot_user" TCL procedure may be used in run scripts for tests not
related to downloading specific packages.
Fix #3170
2019-02-26 14:44:31 +01:00
Norman Feske
af146e7dcd
Remove base/timed_semaphore.h from API
...
The former 'Genode::Timed_semaphore' mechanism is moved to the private
part of the two remaining users, namely dde_rump and the libc. Note
there are now two private copies of 'timed_semaphore.h'. This should be
regarded as an interim step until the use of this mechanism is removed
from both users.
This patch also cleans up the mechanism from legacy Genode API calls and
global side effects (alarm-thread singleton). The test/timed_semaphore
is now located at the libports repository as it now tests a mechanism of
the libc. The former timed_semaphore library is no more.
Fixes #3121
2019-01-30 13:35:29 +01:00
Norman Feske
81fb10daaa
Consistently name block components
...
This patch replaces abbreviations like "blk", "cli", and "srv" by their
full forms "block", "client", and "server".
Fixes #1258
2019-01-14 12:34:39 +01:00
Emery Hemingway
e2661c58dc
Convert static VFS library to dynamic library
...
Fix #2759
2018-05-30 12:26:19 +02:00
Christian Helmuth
b0683a5acf
Increase test RAM quotas for sel4 64-bit
2017-11-06 13:57:23 +01:00
Christian Helmuth
82d20f94cd
Enable writeable in ahci_drv for libc vfs tests
...
Thanks to Steven Harp for reporting.
2017-10-05 17:40:04 +02:00
Emery Hemingway
cfa1bec00d
run template for block-backed VFS plugins
...
Repurpose the libc plugin test template libc_filesystem_test.inc into
libc_vfs_filesystem_test.inc.
Ref #2410
2017-08-17 11:04:22 +02:00
