Alexander Boettcher
4020766105
sel4: adapt timeouts of run scripts
...
Issue #2451
2017-08-18 10:24:47 +02:00
Alexander Boettcher
5aab244ce3
sub_rm.run: use config rom for steering test
...
instead of compile time config enums.
2017-08-18 10:24:47 +02:00
Alexander Boettcher
fd0b256f7c
sel4: support cpu utilization via TRACE service
...
using benchmark infrastructure of the seL4 kernel
Issue #2451
2017-08-18 10:24:47 +02:00
Alexander Boettcher
69e71147ef
platform_drv: replace nova specific device_pd
...
by using generic Pd_session::map instead for eager memory mappings of DMA
memory.
Issue #2209
2017-08-18 10:24:47 +02:00
Alexander Boettcher
fe4bdde687
nova: implement Pd_session::map
...
- factor out Rm_client::pager lambda code into utility
Region_map_component::create_map_item
- use utility to find/lookup physical addresses to be mapped eagerly
Issue #2209
2017-08-18 10:24:46 +02:00
Alexander Boettcher
58e4f6cf9d
core: add map method to pd_session interface
...
The method can be used to trigger the eager insertion of page frames into
page tables. Intention: to be used for memory used for DMA.
Issue #2209
2017-08-18 10:24:46 +02:00
Emery Hemingway
5f35175644
app/sequence: execute components in sequence
...
Fix #2476
2017-08-18 10:24:46 +02:00
Alexander Boettcher
523b317fe6
vbox4: disable muen run targets due to issue #2399
2017-08-18 10:24:46 +02:00
Alexander Boettcher
8e798ab904
vbox5: disable muen
...
vbox5 is not supported on muen/hw
2017-08-18 10:24:46 +02:00
Norman Feske
bf04b0c3aa
ports: update URL for downloading lynx
2017-08-18 10:24:46 +02:00
Alexander Boettcher
f825775e40
sel4: update to kernel 6.0
...
Issue #2451
2017-08-18 10:24:45 +02:00
Alexander Boettcher
0ddda79511
sel4: add priority support
...
Issue #2451
2017-08-17 11:04:24 +02:00
Alexander Boettcher
7a8e0e59af
sel4: enable smp for x86
...
Issue #2451
2017-08-17 11:04:24 +02:00
Josef Söntgen
0dd9c6a018
run: add error checking to power on step
2017-08-17 11:04:24 +02:00
Emery Hemingway
2d8bfd8569
pthread: do not error from pthread_condattr_setclock dummy
...
Do not regard a fake condattr object produced by pthread_condattr_init
as invalid when passed to no-op dummies.
Fix #2471
2017-08-17 11:04:23 +02:00
Emery Hemingway
ad6c94bb09
input_filter character mapping rules for the Workman layout
...
http://workmanlayout.org/
Fix #2473
2017-08-17 11:04:23 +02:00
Norman Feske
a9eb25f07f
gems: fix cap quotas of launcher.run scenario
...
The launcher.run scenario was last updated mid-may of the recently
developed cap-quota accounting (before all cap types were covered).
Hence, the quotas used in the scenario are too low. This patch adjusts
the values such that the scenario can be started on NOVA on Qemu. It
also fixes a warning about a deprecated way of configuring the
report_rom component.
Thanks to Jörg-Christian Böhme for reporting!
2017-08-17 11:04:23 +02:00
Alexander Boettcher
4cacc58cd2
tool: add bender with fixed multiboot2 end tag
2017-08-17 11:04:23 +02:00
Emery Hemingway
31caae4765
lib/vfs/fatfs: FAT file-system plugin using FatFS library
...
See repos/libports/src/lib/vfs/fatfs/README and
/home/user/repo/genode/repos/libports/run/libc_vfs_fat.run for
documentation.
Ref #2410
2017-08-17 11:04:23 +02:00
Emery Hemingway
6401d52e61
test/libc_vfs: interpret EPERM to indicate missing symlink support
...
Ref #2462
2017-08-17 11:04:23 +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
Emery Hemingway
f09fc4a5a2
Update FatFS port to version 0.13
...
- Update FatFS port from 0.07e to 0.13
- Multi-device support
- Basic test at run/fatfs
- Adaption of existing components
Note, ffat is now consistently renamed to fatfs.
Ref #2410
2017-08-17 11:04:22 +02:00
Christian Helmuth
473aa3454d
Move libc file-system test into test/libc_vfs
...
Preparation for removing ffat library.
Issue #2410
2017-08-17 11:04:22 +02:00
Alexander Boettcher
de06eefbac
hw: evaluate write fault on RO page
...
rm_fault.run triggers write on read-only ROM provided by core, which
fails without this patch:
arm - "raised unhandled data abort"
x86 - (silent/invisible) busy loop because write fault gets never resolved
2017-08-17 11:04:22 +02:00
Sebastian Sumpf
5adda2d934
usb: add asynchronous interface release
...
This became necessary, since URBs may still be pending upon interface
release.
Fixes #2466
2017-08-17 11:04:22 +02:00
Christian Helmuth
132748a783
Fix location setting in affinity test
...
This fixes a regression introduced by me in
16914bddc8
2017-08-17 11:04:22 +02:00
Christian Helmuth
e8c8776959
foc: propagate affinity location on thread creation
2017-08-17 11:04:21 +02:00
Emery Hemingway
2deddf1e6d
Check for symlink target length errors
...
Check for symlink length errors at the VFS library and the ram_fs and
vfs servers.
Fix #2462
2017-08-17 11:04:21 +02:00
Emery Hemingway
cfdac3f4c3
ram_fs: check symlink writes for termination bytes
...
Ref #2461
2017-08-17 11:04:21 +02:00
Alexander Boettcher
0743ea87ed
rm_fault.run: check for write faults on ROM
...
Issue #2451
2017-08-17 11:04:21 +02:00
Alexander Boettcher
da5441292a
sel4: add Wandboard Quad (iMX6) support
...
Issue #2451
2017-08-17 11:04:21 +02:00
Alexander Boettcher
c22b60f0c4
base: add initial r0 register to crt0.s for arm
...
Issue #2451
2017-08-17 11:04:21 +02:00
Alexander Boettcher
782b457476
wand_quad: re-enable i.MX6 EPIT user level timer
...
Issue #2451
2017-08-17 11:04:21 +02:00
Alexander Boettcher
66c0c7b6f1
sel4: add x86_64 support
...
Issue #2451
2017-08-17 11:04:20 +02:00
Norman Feske
e31806d4e6
dde_rump: fix rump_iso test
...
The run script did not consider the routing for the environment ROM
sessions for the test-iso component. It routed all ROM sessions -
including the ones for the executable and the dynamic linker - to
fs_rom. The patch also adds the cap quota definitions required since
version 17.05 and fixes a whitespace inconsistency between the test
program and the run script.
Thanks to Steven Harp for reporting!
2017-08-17 11:04:20 +02:00
Norman Feske
1f679cdffe
ports: assign caps in genode_org.run, lighttpd.run
2017-08-17 11:04:20 +02:00
Christian Helmuth
31cffe52a6
usb_terminal: remove obsolete vendor/product enums
2017-08-17 11:04:20 +02:00
Christian Helmuth
e5f0dae598
terminal_log: carriage-return on newline
...
This is expected by hardware terminals, ie., terminal programs connected
to null-modem serial connections. Otherwise, the next line starts at the
column right after the last line.
2017-08-17 11:04:20 +02:00
Christian Prochaska
178795f2ec
virtualbox.run: increase capability quota for fb_drv
...
Fixes #2463
2017-08-17 11:04:20 +02:00
Emery Hemingway
e2c1ea04ea
depot: recipes for src/ram_blk, src/vfs
...
Ref #2446
2017-08-17 11:04:19 +02:00
Emery Hemingway
c5c9d71df3
libc: track O_ACCMODE flags from open
...
Fix #2457
2017-08-17 11:04:19 +02:00
Alexander Senier
87c19cb11a
libc: handle O_CREAT|O_NOFOLLOW in open correctly
...
We return ELOOP if the file already exists on
open(...,O_CREAT|O_NOFOLLOW).
Fixes #2458
2017-08-17 11:04:19 +02:00
Alexander Boettcher
51dcf5f7f8
core: destruct platform_pd before ram_ds_factory
...
Platform_pd "_pd" uses a allocator for, which relies on the mapped RAM
dataspace within core. Unfortunately the RAM dataspaces are already freed up
during _ram_ds_factory destruction, which may lead to trouble if accessed
afterwards.
Issue #2451
2017-08-17 11:04:19 +02:00
Alexander Boettcher
92db5d2c4e
sel4: limit max relocation memory to 256M
...
relocation is required, to avoid overlapping phdr in the elf binaries, but
sel4 will fail to boot if bender relocates the images at the end of physical
memory. Limit the physical relocation address to a fixed 256M value, so that
sel4 will work.
Issue #2451
2017-08-17 11:04:19 +02:00
Alexander Boettcher
95329c82e2
sel4: update to 5.2.0
...
Issue #2451
2017-08-17 11:04:19 +02:00
Alexander Boettcher
a717e92186
base: set CPP to our custom genode-cpp
...
Issue #2451
2017-08-17 11:04:18 +02:00
Christian Helmuth
145011b420
sd_card_drv: prevent deprecated warnings
2017-08-17 11:04:18 +02:00
Norman Feske
18cea099f0
depot: recipes for ahci, fs_rom, ram_fs, usb_block
2017-08-17 10:59:44 +02:00
Norman Feske
50a1b84308
usb_drv: wait for first valid config
...
This patch defers the initialization of the USB driver until its
configuration is valid.
2017-08-17 10:59:44 +02:00
Alexander Boettcher
24875c0ea8
platform_drv: add report about available pci devices
...
Issue #1359
2017-08-17 10:59:44 +02:00
