ehmry/genode-ehmry
ehmry/genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
8,376 Commits 13 Branches 38 Tags 55 MiB
14c2627e1e
Commit Graph

5467 Commits

Author SHA1 Message Date
Christian Prochaska
35c31abb3c base: add copy constructor to 'Genode::Session_label' 
Fixes #3333
 2019-05-20 12:40:47 +02:00
Emery Hemingway
14ba1cbdbc fixup! Libc: update port to Freebsd 12 (libc_setjmp recipe) 
Ref #3289
 2019-05-19 14:51:37 +02:00
Josef Söntgen
bc3f4f1553 fixup 'Libc: update port to Freebsd 12' (signal dummy) 
Otherwise there will be reloc error b/c wpa_supplicant's eloop is
referencing the symbol, e.g:

[init -> wifi_drv] Error: LD: jump slot relocation failed for symbol: 'signal'

Issue #3289.
 2019-05-18 10:42:17 +02:00
Josef Söntgen
3efad64d05 wifi_drv: ignore socket flags on socket creation 
The libc features support for SOCK_CLOEXEC now which gets set via
the type argument in 'libnl'. Since we are only interested in the
actual type, i.e. if it is SOCK_RAW, just ignore the flags.

Issue #3289.
 2019-05-18 10:42:04 +02:00
Emery Hemingway
bf2931ae8b fixup! Libc: update port to Freebsd 12 (libiconv content) 
Ref #3289
 2019-05-17 15:36:56 +02:00
Emery Hemingway
e31501584d fixup! fixup! Libc: update port to Freebsd 12 (remove libmd from port) 2019-05-17 15:36:54 +02:00
Sebastian Sumpf
252a325907 ieee754: adjust to libc/libm update 
* Adjust expected pow(-1/1, inf/-inf/nan) output to current libm
  behavior (as in FreeBSD, glibc, and OpenLibm) and return 1 on
  x86_64/x86_32/arm

* Add 'double float' outputs for ARM which are defined to float

issue #3289
 2019-05-17 15:00:17 +02:00
Emery Hemingway
42f130a8ae fixup! Libc: update port to Freebsd 12 (src/seoul content) 
Ref #3289
 2019-05-17 14:57:37 +02:00
Emery Hemingway
a697145233 fixup! Libc: update port to Freebsd 12 (usleep, divide-by-zero) 
Ref #3289
 2019-05-17 14:57:18 +02:00
Christian Helmuth
ac468bae6a libc_noux target depends on POSIX runtime 
This prevents

  error copying "bin/libm.lib.so": no such file or directory
  error copying "bin/posix.lib.so": no such file or directory

when running "make run/noux" from an empty build directory.
 2019-05-17 13:18:12 +02:00
Christian Helmuth
7646ef2d01 fixup "hw: factor out x86 specific bootinfo" (muen) 
Ref #3326
 2019-05-17 13:02:23 +02:00
Christian Prochaska
cf631c6805 fixup "Libc: update port to Freebsd 12" (noux gcc) 
Issue #3289
 2019-05-16 16:24:44 +02:00
Christian Prochaska
70e13a3a56 base-hw: fix compile errors with GCC 8.3.0 
Fixes #3326
 2019-05-16 15:46:42 +02:00
Stefan Kalkowski
79fad936fa hw: factor out x86 specific bootinfo 
Ref #3326
 2019-05-16 15:46:20 +02:00
Stefan Kalkowski
1ac3c845fa hw: unify board definitions of bootstrap/core 
Ref #3326
 2019-05-16 15:44:02 +02:00
Emery Hemingway
3b4ee7546f fixup! Libc: update port to Freebsd 12 (e2fsprogs patch) 
Ref #3289
 2019-05-16 13:35:57 +02:00
Martin Stein
5b50a7d88a test/timeout: configurable fast-polling buffers 
On some platforms (foc+pbxa9, hw+imx53_qsb_tz, hw+rpi) the default buffer size
is to much for the RAM available on the board. Thus, decrease the buffer size
and therefore the number of polls for these platforms only.

Fixes #3354
 2019-05-16 13:32:21 +02:00
Christian Prochaska
ab92f9e8e7 rump_fs: fix run time errors when built with GCC 8.3.0 
Fixes #3360
 2019-05-16 13:24:53 +02:00
Christian Prochaska
42d9dd306d vbox: save FPU state in 'EPT violation' exit handler 
Fixes #3359
 2019-05-16 13:24:13 +02:00
Christian Prochaska
0e8d4507a0 vbox: use 'Abi::stack_align()' for exit handler stack 
This ensures proper stack alignment for FPU instructions on x86_64.

Fixes #3358
 2019-05-16 13:23:41 +02:00
Christian Prochaska
18b30952c0 dde_bsd: update 'platform_execute()' functions based on libc 
This ensures proper stack alignment for FPU instructions on x86_64.

Fixes #3357
 2019-05-16 13:23:38 +02:00
Christian Prochaska
97955c9125 lx_kit: update 'arch_execute()' functions based on libc 
This ensures proper stack alignment for FPU instructions on x86_64.

Fixes #3356
 2019-05-16 13:23:35 +02:00
Christian Prochaska
c424a3a294 base: save FPU registers in '_jmp_slot' function (x86_64) 
Issue #3355
 2019-05-16 13:23:33 +02:00
Christian Prochaska
cd682df37a ports: fix 'seoul' compile errors with GCC 8.3.0 
Fixes #3352
 2019-05-16 13:22:25 +02:00
Christian Helmuth
c070ae60ae fixup "Libc: update port to Freebsd 12" (ignore warnings isatty/sysctl in ieee754) 
Issue #3289
 2019-05-16 13:18:48 +02:00
Emery Hemingway
8b2c49480b fixup! Libc: update port to Freebsd 12 (OpenVPN) 
Ref #3289
 2019-05-16 13:18:46 +02:00
Emery Hemingway
573eaea72a Libc: update port to Freebsd 12 
Fix #3289
 2019-05-16 13:18:43 +02:00
Emery Hemingway
a54a6bea41 Port of OpenLibm 
Replace the FreeBSD libm with OpenLibm, which is easier to port.
OpenLibm is used by Mirage's freestanding Ocaml runtime (sin POSIX).

https://openlibm.org/

Ref #3289
 2019-05-16 13:18:40 +02:00
Martin Stein
7067cfe59c NOT FOR MASTER "depot_autopilot.run: raise depot autopilot quota" 
Ref #3238
 2019-05-16 13:16:49 +02:00
Martin Stein
44580913b3 NOT FOR MASTER "depot_autopilot: list log matches" 
Ref #3238
 2019-05-16 13:16:49 +02:00
Martin Stein
2fc08748cc NOT FOR MASTER "depot_autopilot: hex dump of failed test log" 
Ref #3238
 2019-05-16 13:16:49 +02:00
Christian Helmuth
ef4948058d depot: update recipe hashes 2019-05-16 13:16:49 +02:00
Christian Prochaska
1e0355801c nova: remove '-Wabi' compiler option 
Fixes #3351
 2019-05-16 13:16:49 +02:00
Christian Prochaska
98daa63036 seoul: adjustments to compile with GCC 8.3.0 
Issue #3352
 2019-05-16 13:16:49 +02:00
Emery Hemingway
7448223418 Ethernet multicast support at nic_bridge 
Fix #3282
 2019-05-16 13:16:48 +02:00
Stefan Kalkowski
f13af09de2 os: name tz_vmm unambigously (ref #2190) 
Moreover, express current requirement to hw API, which was missing until now.

Originally, in the board-specific build directory of imx53_qsb the
"KERNEL" variable was preset with "hw". Therefore, it was not perceived
that this dependency is required.

Ref #3316
 2019-05-16 13:16:48 +02:00
Alexander Boettcher
8231318c57 sel4: let seoul-kernelbuild.run succeed 
Issue #3111
 2019-05-16 13:16:48 +02:00
Alexander Boettcher
72dc2cf0f8 libc_terminal plugin: increase stack 
Issue #3111
 2019-05-16 13:16:48 +02:00
Christian Prochaska
9d502736c1 intel_gpu_drv: fix compile error with GCC 8.3.0 
Fixes #3332
 2019-05-16 13:16:48 +02:00
Christian Prochaska
77661630ef nova: remove deprecated 'register' keyword 
Fixes #3350
 2019-05-16 13:16:48 +02:00
Christian Prochaska
aa636284f2 ports: fix 'noux' compile error with GCC 8.3.0 
Fixes #3348
 2019-05-16 13:16:48 +02:00
Christian Helmuth
a43ef319ec Revert "ieee754: disable test for muen (fix #3305)" 
This reverts commit 918b9a9fa4.

The Muen debug console buffer was increased by the recent update, which
alleviates the issue with many log messages as in the ieee754 test.
 2019-05-16 13:11:57 +02:00
Adrian-Ken Rueegsegger
92df79b4de Update Muen port 
- Drop unnecessary patch
- Improved build speed/parallelization
- Increased log channel size
- Fix path in base-hw/Muen documentation
 2019-05-16 13:11:03 +02:00
Christian Prochaska
f0e7be57f2 gems: fix 'sculpt_manager' compile errors with GCC 8.3.0 
Fixes #3347
 2019-05-16 13:11:03 +02:00
Josef Söntgen
799cf43d9e fetchurl: add progress timeout handling 
The component will now abort an ongoing download attempt if it stalls
for given amount of time, the default is 10 seconds.

Fixes #3346.
 2019-05-16 13:11:03 +02:00
Christian Prochaska
9985364760 libports: fix 'qt5_webcore' compile error with GCC 8.3.0 
Fixes #3345
 2019-05-16 13:11:03 +02:00
Christian Prochaska
879f217168 libports: fix 'solo5' compile error with GCC 8.3.0 
Fixes #3344
 2019-05-16 13:11:03 +02:00
Stefan Kalkowski
8a8b96b6ae kernel: differentiate board-specific components 
Components like kernel, core, and bootstrap that are built for a
specific board need to reside inside the same architectural dependent
build directory. For instance there are sel4, foc, and hw kernel builds
for imx6q_sabrelite and imx7d_sabre, which have to reside inside the same
arm_v7 build directory.
This commit names those components explicitely, and adapts the run-tool to it.

Fix #3316
 2019-05-16 13:11:03 +02:00
Stefan Kalkowski
46f9b7a957 tool: deprecate board-specific build directories 
* Introduces BOARD variable to determine actual board
* Removes formerly deprecated kernel-specific build directories

The following boards are available:

arm_v6: rpi
arm_v7: arndale, imx53_qsb, imx53_qsb_tz, imx6q_sabrelite, imx7d_sabre,
        nit6_solox, odroid_x2, odroid_xu, panda, pbxa9, usb_armory,
        wand_quad, zynq_qemu
x86_64: pc, linux, muen
x86_32: pc, linux
riscv:  spike

Ref #3316
 2019-05-16 13:11:03 +02:00
Christian Prochaska
02afb04b7d base: fix 'test-sanitizer' compile error with GCC 8.3.0 
Fixes #3343
 2019-05-16 13:11:03 +02:00
Christian Prochaska
e9fcbace61 libports: fix 'extract' compile errors with GCC 8.3.0 
Fixes #3342
 2019-05-16 13:11:03 +02:00
Christian Prochaska
2b21f41495 demo: fix 'mini_c' compile errors with GCC 8.3.0 
Fixes #3341
 2019-05-16 13:11:03 +02:00
Josef Söntgen
dd6bd0f880 sequence: add keep-going feature 
When enabling the 'keep_going' config attribute, the component will
carry on in case a child exited with an error. In addition, if the
'restart' attribute is set it will start executing the children from
the beginning.
 2019-05-16 13:11:03 +02:00
Martin Stein
1583782446 Revert "nic_router_flood: reworked to stress/analyze more" 
This reverts commit ae55954919.
 2019-05-16 13:11:03 +02:00
Christian Helmuth
22af4436f7 nova: log sp/bp on unresolvable exception 2019-05-16 13:11:03 +02:00
Martin Stein
8fb0d668e0 heap: fix exception handling in _allocate_dataspace 
Previously, only Invalid_dataspace, Region_conflict, and Out_of_ram were
handled for both allocate and attach with the same handlers. However,
both operations can also throw Out_of_caps and for all exceptions during
attach, the dataspace must be freed again whereas this is not the case
when the exception occured during allocate.

Issue #2953
 2019-05-16 13:11:02 +02:00
Sebastian Sumpf
467b96abf4 ldso: lazy binding support for RISC-V 
* added assembler invocation path for jump slot relocations
* fix GOT initialization (jmp_slot pointer goes to GOT[0] not GOT[2] on
  RISC-V)

Fixes #3339
 2019-05-16 13:11:02 +02:00
Christian Helmuth
4f0b17a4dc dde_ipxe: update Intel NIC driver to latest upstream 
This patch is motivated by sporadic hangs during link down/up on i219
NICs handling and the fix implemented upstream in

  https://git.ipxe.org/ipxe.git/commit/546dd51de8459d4d09958891f426fa2c73ff090d

Issue #1220
 2019-05-16 13:11:02 +02:00
Christian Helmuth
a633b5e36e drivers_interactive-pc: quotas (ps2_drv, input_filter) 2019-05-16 13:11:02 +02:00
Christian Helmuth
ea954e7e15 demo: support more platforms in test / drivers RAM 2019-05-16 13:11:02 +02:00
Stefan Kalkowski
13fb51eecf hw: remove implicit SoC-specific include path 
Fix #3336
 2019-05-16 13:11:02 +02:00
Christian Prochaska
9c17c83bf1 os: fix 'test-cpu' compile error with GCC 8.3.0 
Fixes #3335
 2019-05-16 13:11:02 +02:00
Christian Prochaska
2191ff656e os: fix 'test-block_request_stream' compile error with GCC 8.3.0 
Fixes #3334
 2019-05-16 13:11:02 +02:00
Christian Prochaska
2aeb1a70ea os: remove 'register' keyword from 'pixel_rgba.h' 
Fixes #3331
 2019-05-16 13:11:02 +02:00
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
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