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
Alexander Boettcher
c0a00019c0
foc/sel4: place vcpu thread on same cpu as ep
...
Issue #3111
2019-05-06 16:15:27 +02:00
Alexander Boettcher
85d98195d5
top: show priority and quota
...
Issue #3192
2019-05-06 16:15:27 +02:00
Emery Hemingway
3e848dff10
solo5: update bindings
...
Update the Solo5 upstream to accomadate changes to the Block session and
stack protection support in the base library.
Ref #3275
Ref #3283
2019-05-06 16:15:27 +02:00
Stefan Kalkowski
b85071174a
base: wait a bit at the end of the smp test
...
Fix #3306
2019-05-06 16:15:27 +02:00
Stefan Kalkowski
918b9a9fa4
ieee754: disable test for muen ( fix #3305 )
2019-05-06 16:15:26 +02:00
Stefan Kalkowski
089cb0f536
foc: change core link address for imx7d_sabre
...
Fix #3298
2019-05-06 16:15:26 +02:00
Stefan Kalkowski
f42c21f16b
platform_info: add kernel information ( fix #3295 )
2019-05-06 16:15:26 +02:00
Norman Feske
c38c80fd43
menu_view: midway re-targeting of geometry motion
...
This patch fixes the corner case where an animated geometry changes its
destination mid-way while an animation is already in progress. The
'_trigger_animated_geometry' method used to back out early in this case,
which was intended as an optimization.
Fixes #3296
2019-05-06 16:15:26 +02:00
Norman Feske
3f8dfa346c
sculpt_manager: remove double name attributes
...
The 'name' attribute was generated by both the call of 'gen_named_node'
and 'Hoverable_item::gen_button_attr'. Use only the former.
2019-05-06 16:15:26 +02:00
Alexander Boettcher
05fa063068
vm_session: support to trace vCPU
...
Issue #3111
2019-05-06 16:15:26 +02:00
Christian Prochaska
dca144f2ee
noux: fix noux_gdb run script
...
Fixes #3287
2019-05-06 16:15:26 +02:00
Christian Prochaska
4672fdb9f0
gdb_monitor.run: remove broken stderr redirection
...
Fixes #3290
2019-05-06 16:15:26 +02:00