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

8367 Commits

Author SHA1 Message Date
Christian Prochaska 720919bc14 gcov: update to version 8.3.0 
Issue #3307
 2019-05-27 14:52:52 +02:00
Christian Prochaska 61140380ee base: update 'ld' symbols for tool chain 19.05 
Issue #3307
 2019-05-27 14:52:52 +02:00
Sebastian Sumpf a8d856fb65 ldso: dynamic linking support for ARM 64-bit 
* added relocation support
* added assembler invocation path for jump slot relocations

fixes issue #3260
 2019-05-27 14:52:52 +02:00
Sebastian Sumpf 7dc875e8c7 base: dynamic linking support of crt0.s on ARM 64-bit 
* added global offset table relative loading for global symbols
* removed 'initial_sp' and 'initial_x0' because they are currently not
  used on this platform. If required they are easy to resurrect.

issue #3260
 2019-05-27 14:52:51 +02:00
Stefan Kalkowski f0d28eeca7 foc: add support for Raspberry Pi 3 
Ref #3260
 2019-05-27 14:52:51 +02:00
Stefan Kalkowski 71a48c0a26 base: add initial support for ARM 64-bit 
Ref #3260
 2019-05-27 14:52:51 +02:00
Stefan Kalkowski c98597a2c0 base: increase initial stack 
Ref #3260
 2019-05-27 14:52:51 +02:00
Christian Prochaska 6af3899bcb Enable C++17 by default 
Issue #3307
 2019-05-27 14:52:51 +02:00
Christian Prochaska 74260c96bf tool_chain: integrate 'ali2dep' tool 
Fixes #3361
 2019-05-27 14:52:51 +02:00
Stefan Kalkowski fc922d263c tool_chain: add aarch64 compiler target 
Ref #3260
 2019-05-27 14:52:51 +02:00
Sebastian Sumpf 36f90e57f3 riscv: tool chain 19.05 
issue #3273
 2019-05-27 14:52:51 +02:00
Christian Prochaska f369da741d tool_chain: update GDB to version 8.2.1 
Issue #3307
 2019-05-27 14:52:51 +02:00
Christian Prochaska 1720d2d86d tool_chain: update GCC to version 8.3.0 
Issue #3307
 2019-05-27 14:46:54 +02:00
Christian Prochaska 96ed3c8db0 tool_chain: update binutils to version 2.32 
Issue #3307
 2019-05-27 14:46:54 +02:00
Christian Prochaska fe878e65de base: add copy constructor to 'Genode::Session_label' 
Fixes #3333
 2019-05-27 14:46:54 +02:00
Josef Söntgen d223539165 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-27 14:46:54 +02:00
Sebastian Sumpf a71253fa58 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-27 14:46:54 +02:00
Christian Helmuth 6db43d2c19 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-27 14:46:54 +02:00
Christian Prochaska 4fc3eca4aa base-hw: fix compile errors with GCC 8.3.0 
Fixes #3326
 2019-05-27 14:46:54 +02:00
Stefan Kalkowski 5c77ebb1fb hw: factor out x86 specific bootinfo 
Ref #3326
 2019-05-27 14:46:54 +02:00
Stefan Kalkowski 054df95ea4 hw: unify board definitions of bootstrap/core 
Ref #3326
 2019-05-27 14:46:54 +02:00
Martin Stein 8eecb39792 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-27 14:46:54 +02:00
Christian Prochaska 8af81668ea rump_fs: fix run time errors when built with GCC 8.3.0 
Fixes #3360
 2019-05-27 14:46:54 +02:00
Christian Prochaska c9b5dcafbd vbox: save FPU state in 'EPT violation' exit handler 
Fixes #3359
 2019-05-27 14:46:54 +02:00
Christian Prochaska f596595c98 vbox: use 'Abi::stack_align()' for exit handler stack 
This ensures proper stack alignment for FPU instructions on x86_64.

Fixes #3358
 2019-05-27 14:46:53 +02:00
Christian Prochaska 3fa994a7a4 dde_bsd: update 'platform_execute()' functions based on libc 
This ensures proper stack alignment for FPU instructions on x86_64.

Fixes #3357
 2019-05-27 14:46:53 +02:00
Christian Prochaska c7d9df6350 lx_kit: update 'arch_execute()' functions based on libc 
This ensures proper stack alignment for FPU instructions on x86_64.

Fixes #3356
 2019-05-27 14:46:53 +02:00
Christian Prochaska c2c33d6808 base: save FPU registers in '_jmp_slot' function (x86_64) 
Issue #3355
 2019-05-27 14:46:53 +02:00
Christian Prochaska 9923a1bf50 ports: fix 'seoul' compile errors with GCC 8.3.0 
Fixes #3352
 2019-05-27 14:46:53 +02:00
Ehmry - 863654d188 Libc: update port to Freebsd 12 
Fix #3289
 2019-05-27 14:46:53 +02:00
Ehmry - 777d92f6de 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-27 14:46:53 +02:00
Christian Prochaska 382371d9e4 nova: remove '-Wabi' compiler option 
Fixes #3351
 2019-05-27 14:46:53 +02:00
Christian Prochaska 3556a40f81 seoul: adjustments to compile with GCC 8.3.0 
Issue #3352
 2019-05-27 14:46:53 +02:00
Ehmry - 4caffd79db Ethernet multicast support at nic_bridge 
Fix #3282
 2019-05-27 14:46:53 +02:00
Stefan Kalkowski 3460444d84 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-27 14:46:53 +02:00
Alexander Boettcher faee97dd1e sel4: let seoul-kernelbuild.run succeed 
Issue #3111
 2019-05-27 14:46:53 +02:00
Alexander Boettcher c6ec2c1dd7 libc_terminal plugin: increase stack 
Issue #3111
 2019-05-27 14:46:53 +02:00
Christian Prochaska 92c314d3c8 intel_gpu_drv: fix compile error with GCC 8.3.0 
Fixes #3332
 2019-05-27 14:46:53 +02:00
Christian Prochaska 934ada72fa nova: remove deprecated 'register' keyword 
Fixes #3350
 2019-05-27 14:46:53 +02:00
Christian Prochaska 05a382b1a8 ports: fix 'noux' compile error with GCC 8.3.0 
Fixes #3348
 2019-05-27 14:46:53 +02:00
Christian Helmuth 0777d16e78 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-27 14:46:53 +02:00
Adrian-Ken Rueegsegger d131e537e9 Update Muen port 
- Drop unnecessary patch
- Improved build speed/parallelization
- Increased log channel size
- Fix path in base-hw/Muen documentation
 2019-05-27 14:46:53 +02:00
Christian Prochaska 37ff9e1e23 gems: fix 'sculpt_manager' compile errors with GCC 8.3.0 
Fixes #3347
 2019-05-27 14:46:52 +02:00
Josef Söntgen c8c354d1e6 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-27 14:46:52 +02:00
Christian Prochaska 4e6216bced libports: fix 'qt5_webcore' compile error with GCC 8.3.0 
Fixes #3345
 2019-05-27 14:46:52 +02:00
Christian Prochaska 5b232df503 libports: fix 'solo5' compile error with GCC 8.3.0 
Fixes #3344
 2019-05-27 14:46:52 +02:00
Stefan Kalkowski a1e70b9ba4 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-27 14:46:52 +02:00
Stefan Kalkowski c43267dbaa 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_v7a: 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-27 14:46:29 +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