11d2a2957a
Fix linux syscall library build for NixOS
2019-06-19 15:43:26 +02:00
5db5d7a803
NixOS tweaks
2019-06-17 22:53:40 +02:00
899eec90d3
Add more to dev-shell
2019-06-17 14:36:52 +02:00
b945ba006c
Revert "make -f" calls
2019-06-17 14:05:13 +02:00
08ab0cf6fd
Merge branch 'shebang' into staging
2019-06-17 12:38:14 +02:00
f027698e34
Use #!/usr/bin/env ... shebangs
...
Fix #3421
2019-06-17 12:32:43 +02:00
51f9fd15b3
Merge remote-tracking branch 'genodelabs/staging' into staging
2019-06-17 11:32:07 +02:00
Christian Helmuth
cf7a64c26c
run: abort with error if BOARD was not set
2019-06-13 17:06:57 +02:00
Stefan Kalkowski
9059ec77ce
depot: recipe for base-hw-rpi3
...
Ref #3407
2019-06-13 14:45:36 +02:00
Sebastian Sumpf
a760caf21e
depot: support for ARM 64-bit for base-foc on rpi3
...
issue #3407
2019-06-13 14:44:56 +02:00
Stefan Kalkowski
dbaee9e782
hw: support for ARM64 Raspberry Pi 3
...
Restriction: enables only cpu core 0 and the timer interrupt by now.
Fix #3405
2019-06-13 14:37:14 +02:00
Christian Helmuth
322112eeba
tool: fix BOARD_RUN_OPT for arm_v8
2019-06-13 14:37:14 +02:00
Alexander Boettcher
a25c656b1a
image/disk: increase estimated disk size
...
Fixes #3410
2019-06-13 12:22:49 +02:00
Christian Helmuth
be4d8b24e2
run: improve error message on missing recipe
2019-06-13 12:17:32 +02:00
5b5f66674b
Adjustments for NixOS
2019-06-12 16:18:41 +02:00
51fb95ab8e
Merge branch 'staging' of github.com:genodelabs/genode into staging
2019-06-06 11:56:47 +02:00
Christian Helmuth
aefeb8a099
run: improve error message on missing recipe
2019-06-04 15:48:10 +02:00
Christian Prochaska
ca39a9ea61
tool_chain: versioned install location
...
Issue #3307
2019-05-29 10:20:52 +02:00
Tomasz Gajewski
27e9d1fcf0
tool/run/README: Fixed tftp related argument names in example
...
Fixes #3382
2019-05-29 10:20:52 +02:00
Alexander Boettcher
b3a9ad2215
vbox5: fpu support via new vm_session
...
Issue #3111
2019-05-29 10:20:52 +02:00
Alexander Boettcher
5673c163fb
vbox5: use vm_session interface
...
Issue #3111
2019-05-29 10:20:52 +02:00
de2ba3d8de
Merge branch 'staging' of github.com:genodelabs/genode into staging
2019-05-29 09:53:55 +02:00
Christian Prochaska
e66453ed85
tool_chain: versioned install location
...
Issue #3307
2019-05-27 14:53:32 +02:00
Norman Feske
34a711b439
tool/parse_cxx: const var decl, initializers
...
This patch handles a few corner cases that appear in the headers of
Genode 19.05, in particular the new client-side block API in
'block_session/connection.h'.
2019-05-27 14:53:32 +02:00
Tomasz Gajewski
dec2c161bc
tool/run/README: Fixed tftp related argument names in example
...
Fixes #3382
2019-05-27 14:53:32 +02:00
Christian Helmuth
b359ec14a8
autopilot: align output for wide board names
2019-05-27 14:53:32 +02:00
Alexander Boettcher
9f714f367d
vbox5: fpu support via new vm_session
...
Issue #3111
2019-05-27 14:53:32 +02:00
Alexander Boettcher
ff93bdd4ae
vbox5: use vm_session interface
...
Issue #3111
2019-05-27 14:53:32 +02:00
Martin Stein
95ece89cf8
tool/depot: improve handling of missing ports
...
* The extract tool determines and reports all missing ports at once.
* The extract tool automatically prepares all missing ports if PREPARE_PORTS=1.
* The missing_ports tool prints a list of missing ports for given archives.
Fixes #3353
2019-05-27 14:52:52 +02:00
Christian Prochaska
a5d6cbf44d
tool_chain: strip gdb
...
Issue #3307
2019-05-27 14:52:52 +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
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
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
863654d188
Libc: update port to Freebsd 12
...
Fix #3289
2019-05-27 14:46:53 +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
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
176bc45ec4
hash unfuck
2019-05-24 18:10:48 +02:00
Alexander Boettcher
b2520ed1fe
vbox5: fpu support via new vm_session
...
Issue #3111
2019-05-24 13:54:28 +02:00
Alexander Boettcher
12850278a6
vbox5: use vm_session interface
...
Issue #3111
2019-05-24 13:52:02 +02:00
Norman Feske
ef10452924
tool/parse_cxx: const var decl, initializers
...
This patch handles a few corner cases that appear in the headers of
Genode 19.05, in particular the new client-side block API in
'block_session/connection.h'.
2019-05-23 19:35:04 +02:00
Norman Feske
db3d7f2e52
fixup "tool/depot: improve handling of missing ports" (spelling)
2019-05-23 19:35:04 +02:00
Martin Stein
85f8a95619
Fixup "tool/depot: improve handling of missing ports" (check exactly those archives that'll get extracted)
...
Ref #3353
2019-05-23 19:34:37 +02:00
Christian Helmuth
bf1adf79f4
autopilot: align output for wide board names
2019-05-23 17:16:41 +02:00
Stefan Kalkowski
6f10b2152f
fixup: "base: add initial support for ARM 64-bit"
2019-05-23 11:41:50 +02:00