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
863654d188
Libc: update port to Freebsd 12
...
Fix #3289
2019-05-27 14:46:53 +02:00
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
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
be6b08ddce
hashes
2019-05-27 11:18:53 +02:00
cd86ca405c
hashes
2019-05-24 18:10:50 +02:00
32b63cd65d
hashes
2019-05-24 18:10:49 +02:00
0e0b42162e
Revert sculpt-installation
2019-05-24 18:10:49 +02:00
6454377a5a
Create packages during publish_current
...
Manually invoking both is miserable.
2019-05-24 18:10:49 +02:00
c84b7f41bb
Do not publish src or api tarballs.
...
These are worthless.
2019-05-24 18:10:49 +02:00
c6e0e2e359
Move ehmry depot location
...
Signed-off-by: Emery Hemingway <ehmry@posteo.net>
2019-05-24 18:10:49 +02:00
ee0394af66
hashes
2019-05-24 18:10:49 +02:00
d89fed7d70
hashes
2019-05-24 18:10:49 +02:00
546160cf62
hashes
2019-05-24 18:10:49 +02:00
74123541d8
Remove gitattributes
2019-05-24 18:10:49 +02:00
8d28df7623
hashes
2019-05-24 18:10:48 +02:00
5e54badbb6
hashes
2019-05-24 18:10:48 +02:00
41a6f079fc
Remove "hash" from gitignore
2019-05-24 18:10:48 +02:00
c1e5cb086e
Merge hash files using trash strategy
2019-05-24 18:10:48 +02:00
67231a7316
Move ehmry depot
2019-05-24 18:10:48 +02:00
85ece8b82b
Remove big packages from sculpt-installation
2019-05-24 18:10:48 +02:00
7bf8250433
Update hardcoded sculpt version string
2019-05-24 18:10:48 +02:00
176bc45ec4
hash unfuck
2019-05-24 18:10:48 +02:00
00664f9d7f
CC unfuck
2019-05-24 18:10:48 +02:00
65ad118d3a
VERSION bump
2019-05-24 18:10:47 +02:00
681ce1ca46
hashes
2019-05-24 18:10:47 +02:00
2b900bff92
hashes
2019-05-24 18:10:47 +02:00
783c253c6b
fixup! Libc update (revert libc_terminal changes)
...
Leave the libc_terminal plugin as it is.
Ref #3289
2019-05-24 17:34:34 +02:00
1823d37956
Remove libc_terminal
...
Fix #3378
2019-05-24 17:27:42 +02:00
Sebastian Sumpf
fc1927af92
hw: fix calculation of CPU count on x86_64
...
On x86 the CPU count is determined through ACPI's MADT by counting the
local APICs reported there. Some platforms report more APICs
than there are actual CPUs. These might be physically disabled CPUs.
Therefore, a check if the LAPIC is actually physically enabled in
hardware fixes this issue.
Thanks to Alex Boettcher
fixes #3376
2019-05-24 15:15:07 +02:00