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

643 Commits

Author SHA1 Message Date
Ehmry - 24deef9495 Use #!/usr/bin/env ... shebangs 2019-11-28 15:07:24 +01:00
Christian Helmuth f1b1dd26cf run: tweak CRLF translation in log scripts 
Ideally, I'd like to disable expects's translation here, which does not
work. The current setting is the result of testing all combinations.
 2019-11-19 14:42:23 +01:00
Norman Feske 6e86d6d699 Remove server/fatfs_fs and libc_fatfs plugin 
Issue #3512
 2019-11-19 14:23:56 +01:00
Christian Helmuth 97df705e53 dde_rump: eliminate global ctors 2019-11-19 14:23:55 +01:00
Christian Prochaska 1d3bbde70a qt5: add 'lupdate' and 'lrelease' to host tools 
Fixes #1736
 2019-09-09 15:05:50 +02:00
Christian Helmuth 19bf0fdeb8 xkb2ifcfg: detect and log initialization errors 2019-09-03 09:00:31 +02:00
Christian Helmuth 01bd87e90b tool/port: re-enable check_tool in install.mk 
The check was accidentally in

  66d44289e1 tool/ports: streamline hash tool usage

because $(call VAR, ...) just expands to nothing without errors if VAR
is undefined.
 2019-08-28 14:22:33 +02:00
Christian Prochaska 65f402807f qt5: update to version 5.13.0 
Fixes #3485
 2019-08-28 14:22:33 +02:00
Christian Helmuth 43a8118d2e tool: generate input_filter config from XKB 
Issue #3483
 2019-08-28 14:22:32 +02:00
Christian Helmuth 4967166811 run: exit if boot modules are missing on linux 2019-08-28 14:22:32 +02:00
Martin Stein cb6377355e sntp_client: report received transmit timestamp 
For now in libports because it relies on contrib sources from musl doing
the time data conversion.

Ref #3448
Ref #3450
 2019-08-21 12:37:02 +02:00
Christian Helmuth 607fe83c63 autopilot: align output for wide run-script names 2019-08-13 12:02:27 +02:00
Christian Prochaska f73c63900f abi_symbols: drop weak local symbols 
Fixes #3457
 2019-08-13 12:02:27 +02:00
Christian Prochaska 2fad5eff95 abi_symbols: handle symbols without value 
Fixes #3456
 2019-08-13 12:02:27 +02:00
Christian Prochaska 1f56ffa51a abi_symbols: better error message on failed regexp match 
Fixes #3455
 2019-08-13 12:02:27 +02:00
Christian Prochaska 91c8e70bef depot: add recipe for drivers_nic-imx8q_evk 
Fixes #3452
 2019-08-13 12:02:27 +02:00
Christian Prochaska 4c113182b0 depot: add recipe for base-hw-imx8q_evk 
Issue #3426
 2019-08-13 12:02:27 +02:00
Stefan Kalkowski 7ced122ddc hw: support for i.MX8M Quad EVK 
Fix #3426
 2019-08-13 12:02:27 +02:00
Martin Stein fe426e6f8f smbios_decoder: XML report from SMBIOS table ROM 
Fixes #3430
 2019-08-13 12:02:26 +02:00
Christian Prochaska 5dd1abcc2d depot: add recipe for drivers_nic-imx7d_sabre 
Fixes #3433
 2019-07-09 08:58:38 +02:00
Josef Söntgen 4c8369ab1b tool/depot/publish: support multiple threads in xz 
Introduce 'XZ_THREADS' to override the default number of threads used
for compression, which is still set to '1'. As using multiple threads
will increase the amount of memory needed during the compression and
potentially influences the size of the created archive, setting the
variable limits the impact.

Fixes #3431.
 2019-07-09 08:58:38 +02:00
Christian Helmuth cea842b256 autopilot: append RUN_OPT also with --keep 
In case RUN_OPT_AUTOPILOT is changed on consecutive calls of "autopilot
--keep", the changes are now effectively propagated to the run tool.

I also documented the RUN_OPT_AUTOPILOT environment variable.
 2019-07-09 08:55:24 +02:00
Christian Helmuth 8d62f21b40 autopilot: support arch-specific build directories 
Replace the notion of board-specific platforms by clear definition
architecture and board.

Also added new command line switch for "targets"

  -t <target>         test target as triple of architecture-board-kernel,
                      e.g., arm_v7a-pbxa9-hw

Related to #3316
Fixes #3417
 2019-07-09 08:55:24 +02:00
Christian Helmuth cf2c9f8d88 run: abort with error if BOARD was not set 2019-07-09 08:55:23 +02:00
Stefan Kalkowski 186c35bb09 depot: recipe for base-hw-rpi3 
Ref #3407
 2019-07-09 08:55:23 +02:00
Sebastian Sumpf e337b844e5 depot: support for ARM 64-bit for base-foc on rpi3 
issue #3407
 2019-07-09 08:55:22 +02:00
Stefan Kalkowski 90d07741aa hw: support for ARM64 Raspberry Pi 3 
Restriction: enables only cpu core 0 and the timer interrupt by now.

Fix #3405
 2019-07-09 08:55:22 +02:00
Christian Helmuth efe0887247 tool: fix BOARD_RUN_OPT for arm_v8 2019-07-09 08:41:53 +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
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
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
Christian Helmuth b359ec14a8 autopilot: align output for wide board names 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
Ehmry - 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
Christian Helmuth 3033496fa4 run: honor DEPOT_DIR for --depot-auto-update 
Issue #3270
 2019-05-16 13:11:02 +02:00
Stefan Kalkowski c5fee20286 sel4: build elfloader on demand (fix #3329) 2019-05-16 13:11:01 +02:00