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

8316 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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