Christian Prochaska
47a2ad604c
base: fix xml_node test compile error with GCC 8.3.0
...
Fixes #3324
2019-05-16 13:11:02 +02:00
Alexander Boettcher
70e0514a02
seoul: handle late timeouts
...
either
- due to poor signal performance of base platform
- due to being to less prioritized
- due to schedule overload
- due to using time sources of different physical CPUs
Issue #3111
2019-05-16 13:11:02 +02:00
Stefan Kalkowski
9135be8d5f
fb_bench: disable automated test for imx7d_sabre
...
This platform hasn't a fb_drv yet.
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
c5fee20286
sel4: build elfloader on demand ( fix #3329 )
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
817eb4f23c
okl4: create elfweaver tools on demand (ref #3329 )
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
4fa34190de
platform_drv: check acpi ability by platform_info
...
Instead of retieving the information about the underlying platform from
the configuration, check the running kernel from the platform_info. This
commit removes the undocumented "acpi" config attribute.
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
be053ed257
depot: add recipe for drivers_interactive-muen
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
ae3a6fe270
depot: add recipe for drivers_nic-muen pkg
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
da498af74e
imx7d_sabre: disable automated network test
...
Until there is no network driver present for this board it is needless to
let the tests fail each night.
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
1e986fade8
os: name pbxa9 ps2_drv explicitely (ref #2190 )
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
d9143f805e
os: name rtc_drv unambigously (ref #2190 )
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
2e68fae2ec
os: name ahci_drv unambigously (ref #2190 )
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
d18d2d0d9b
os: name sd_card_drv unambigously (ref #2190 )
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
4e6b571a36
os: rename uart_drv unambigously (ref #2190 )
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
e6f83d4df2
depot: add recipe for drivers_interactive-rpi
...
Ref #2190
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
a623a66019
depot: add recipe for drivers_interactive-imx53_qsb
...
Ref #2190
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
35e73b1a2d
os: name imx53 input_drv unambigously (ref #2190 )
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
8d1cfce15e
os: name fb_drv unambigously (ref #2190 )
2019-05-16 13:11:01 +02:00
Stefan Kalkowski
4550056de7
run: use drivers_interactive-* pkg where possible
...
Ref #2190
2019-05-16 13:11:01 +02:00
Johannes Schlatow
0451d3bbed
Simple cache performance test
...
ref #3321
2019-05-16 13:11:00 +02:00
Johannes Schlatow
9097c80269
zynq: improve nic driver error handling
...
also be more verbose about detected errors
fixes #3320
2019-05-16 13:11:00 +02:00
Christian Prochaska
739317a83f
noux: support non-blocking pipes
...
Needed for 'noux_gdb.run' with newer gdb versions.
Fixes #3319
2019-05-16 13:11:00 +02:00
Alexander Boettcher
92510af9d4
foc: working VM session support for AMD
...
- kernel: propagate cr0 to VMM on exit in nested paging case
- kernel: disable forceful VM exit on task switch
- vm_session: adjust to kernel changes
Issue #3111
2019-05-16 13:11:00 +02:00
Alexander Boettcher
b3f288c035
seoul: avoid corrupted cr0 and GP on debug wrmsr
...
- fix bug in instruction emulator on clts - mark cr0 as changed
- don't cause GP on debug control wrmsr
Issue #3111
2019-05-16 13:11:00 +02:00
Emery Hemingway
761e312219
Vbox: compile VMM/VMMR3/VMReq permissive
...
Ref #3289
2019-05-16 13:11:00 +02:00
Christian Prochaska
c0f03a28e9
gdb_monitor: use terminal VFS plugin
...
... instead of the deprecated libc terminal plugin.
Fixes #3318
2019-05-16 13:11:00 +02:00
Emery Hemingway
d2ab699cd5
Remove Post_signal_hook from Entrypoint
...
The Post_signal_hook mechanism has been completely replaced by
Io_progress_handler and can be removed.
Ref #3132
Fix #3302
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
5d4064fed4
depot: add recipe for drivers_nic-pbxa9
...
Ref #3180
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
5182224c2b
depot: add recipe for drivers_nic-zynq
...
Ref #3180
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
8dd618d67f
depot: add recipe for drivers_nic-imx6q_sabrelite
...
Ref #3180
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
82693ba5b5
depot: add recipe for drivers_nic-imx53_qsb
...
Ref #3180
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
ff031d792c
depot: add recipe for driver_nic-rpi
...
Ref #3180
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
5b5e8a9bd4
depot: add recipe for drivers_nic-linux
...
Ref #3180
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
4fdbb1b1ad
depot: add recipe for linux_nic_drv
...
Ref #3180
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
bf5a631a14
dde_linux: name usb_drv unambigously
...
* Make package buildable for ARM too
* Move usb library to src targets for explicitly named targets
* adapt remaining run-scripts to use the correctly named usb drivers
Ref #2190
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
d5104aca05
dde_linux: make rpi usb drivers kernel independent
...
Ref #3180
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
d00bcac941
dde_linux: exclude non-base API from fec_nic_drv
...
Ref #3180
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
5bc498c812
dde_linux: name FEC nic_drv unambigously
...
Ref #2190
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
312499a1ef
os: name lan9118 nic driver explicitly
...
* it is not dependent on pbxa9 anymore, but configureable
* rename it to lan9118_nic_drv
Ref #2190
2019-05-16 13:11:00 +02:00
Stefan Kalkowski
dcc28b65cb
run: use driver_nic-* pkg where possible ( fix #3180 )
2019-05-16 13:10:06 +02:00
Stefan Kalkowski
b6d14d9960
dde_ipxe: name ipxe nic_drv unambigously
...
Ref #2190
2019-05-16 12:52:59 +02:00
Stefan Kalkowski
7c1e3c84ba
os: name gpio_drv unambigously (ref #2190 )
2019-05-16 12:52:59 +02:00
Stefan Kalkowski
911f4ada0a
os: make platform_drv package ready for ARM
...
* Make target binaries independent of board SPECS
* Name binaries of one architecture unambigously
* Extend include path to match board specifics
* Adapt run-scripts to use the right binary
Ref #2190
Ref #3180
2019-05-16 12:52:59 +02:00
Stefan Kalkowski
c55663b923
os: extend regulator session api package
...
Ref #2190
Ref #3180
2019-05-16 12:52:59 +02:00
Stefan Kalkowski
cac0f44194
os: extend platform_session api package
...
Ref #2190
Ref #3180
2019-05-16 12:52:59 +02:00
Christian Prochaska
5bc9082fb7
noux_terminal_fs.run: increase noux capability quota
...
Fixes #3309
2019-05-16 12:52:59 +02:00
Emery Hemingway
62a4d1de0e
Remove Nim tests
...
Nim is now built independently of the Genode repository using an SDK and
Nimble.
Fix #3300
2019-05-16 12:52:59 +02:00
Ben Larson
5f0aa16184
platform_drv/x86: fix report for many PCI devices
...
When there are too many PCI devices, the Expanding_reporter regenerates
the report. However, this doesn't reset the BDF counter used to iterate
over the devices. This results in starting the new report after the PCI
device that triggered the report buffer overflow. This commit fixes the
issue by putting the BDF counter initialization inside the lambda
function used to generate the report.
Fixes #3317
2019-05-16 12:52:59 +02:00
Christian Helmuth
ba51800b31
depot: update recipe hashes
2019-05-06 16:15:27 +02:00
Stefan Kalkowski
b495799d31
sel4: change ELF loader link address on imx7d
...
Fix #3311
2019-05-06 16:15:27 +02:00