ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
8,253 Commits 8 Branches 38 Tags 41 MiB
Commit Graph

8253 Commits

Author SHA1 Message Date
Christian Prochaska aa63628536 pistachio: fix compile error with GCC 8.3.0 
Fixes #3330
 2019-05-16 13:11:02 +02:00
Christian Prochaska 5a2e7a8d66 base-sel4: fix compile errors with GCC 8.3.0 
Fixes #3328
 2019-05-16 13:11:02 +02:00
Christian Prochaska a41d46e193 base-pistachio: fix compile error with GCC 8.3.0 
Fixes #3327
 2019-05-16 13:11:02 +02:00
Christian Prochaska 940ba9ba95 base-nova: fix compile errors with GCC 8.3.0 
Fixes #3325
 2019-05-16 13:11:02 +02:00
Christian Prochaska 96627df4d4 base: fix cxx library compile errors with GCC 8.3.0 
Fixes #3322
 2019-05-16 13:11:02 +02:00
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
Ehmry - 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
Ehmry - 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