89d35bc41e
tool: boot Genode on bare metal Linux
...
Fixes #2829
2019-12-19 16:59:02 +01:00
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
4967166811
run: exit if boot modules are missing on linux
2019-08-28 14:22:32 +02:00
91c8e70bef
depot: add recipe for drivers_nic-imx8q_evk
...
Fixes #3452
2019-08-13 12:02:27 +02:00
4c113182b0
depot: add recipe for base-hw-imx8q_evk
...
Issue #3426
2019-08-13 12:02:27 +02:00
7ced122ddc
hw: support for i.MX8M Quad EVK
...
Fix #3426
2019-08-13 12:02:27 +02:00
5dd1abcc2d
depot: add recipe for drivers_nic-imx7d_sabre
...
Fixes #3433
2019-07-09 08:58:38 +02:00
cf2c9f8d88
run: abort with error if BOARD was not set
2019-07-09 08:55:23 +02:00
186c35bb09
depot: recipe for base-hw-rpi3
...
Ref #3407
2019-07-09 08:55:23 +02:00
e337b844e5
depot: support for ARM 64-bit for base-foc on rpi3
...
issue #3407
2019-07-09 08:55:22 +02:00
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
a25c656b1a
image/disk: increase estimated disk size
...
Fixes #3410
2019-06-13 12:22:49 +02:00
be4d8b24e2
run: improve error message on missing recipe
2019-06-13 12:17:32 +02:00
27e9d1fcf0
tool/run/README: Fixed tftp related argument names in example
...
Fixes #3382
2019-05-29 10:20:52 +02:00
f0d28eeca7
foc: add support for Raspberry Pi 3
...
Ref #3260
2019-05-27 14:52:51 +02:00
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
3033496fa4
run: honor DEPOT_DIR for --depot-auto-update
...
Issue #3270
2019-05-16 13:11:02 +02:00
c5fee20286
sel4: build elfloader on demand ( fix #3329 )
2019-05-16 13:11:01 +02:00
817eb4f23c
okl4: create elfweaver tools on demand (ref #3329 )
2019-05-16 13:11:01 +02:00
be053ed257
depot: add recipe for drivers_interactive-muen
2019-05-16 13:11:01 +02:00
ae3a6fe270
depot: add recipe for drivers_nic-muen pkg
2019-05-16 13:11:01 +02:00
e6f83d4df2
depot: add recipe for drivers_interactive-rpi
...
Ref #2190
2019-05-16 13:11:01 +02:00
a623a66019
depot: add recipe for drivers_interactive-imx53_qsb
...
Ref #2190
2019-05-16 13:11:01 +02:00
dcc28b65cb
run: use driver_nic-* pkg where possible ( fix #3180 )
2019-05-16 13:10:06 +02:00
089cb0f536
foc: change core link address for imx7d_sabre
...
Fix #3298
2019-05-06 16:15:26 +02:00
e072ee480b
depot: add recipe for base-hw-imx7d_sabre
...
Fix #3293
2019-05-06 16:15:26 +02:00
eb933af40a
depot: add recipe for base-foc-imx7d_sabre
...
Fix #3293
2019-05-06 16:15:26 +02:00
6d0a271308
depot: add recipe for base-sel4-imx7d_sabre
...
Fix #3293
2019-05-06 16:15:26 +02:00
4bcd9169c0
sel4: add timer for imx7d_sabre
...
Fix #3292
2019-05-06 16:15:26 +02:00
a3411c8e96
run: add --depot-auto-update feature
...
If enabled, this option triggers the automated management of depot
content according to the needs of a run script.
Fixes #3270
2019-04-09 12:30:34 +02:00
baf815d099
hw: add support for i.MX7 Dual SABRE board
...
Fix #3251
2019-04-01 19:33:49 +02:00
4c492a3be7
imx7d_sabre: add board for sel4 and foc
...
Ref #3251
2019-04-01 19:33:49 +02:00
3d727a403f
sel4: update tools to currently used version 9.0.x
...
Until now, Genode referenced a fork of the outdated elfloader-tool
to enable bootstrapping of sel4 on ARM platforms. Because the
elfloader is inherently dependent on the used platforms newer
ARM versions supported by the kernel could not be loaded by the
outdated elfloader. This commit uses a fresh fork of the nowadays
used sel4_tools repository.
Ref #3251
2019-04-01 19:33:49 +02:00
28c25f120e
run: save [run_dir].config also on hw and linux
...
This was missing as boot_dir/hw and boot_dir/linux do not use
`proc build_core_image`.
2019-02-28 11:34:07 +01:00
55b0dff795
hw: add board support for Nitrogen6 SoloX
2019-02-26 14:45:31 +01:00
abdd1d7715
Adapt network run scripts for recent Qemu (3.1)
...
-netdev and -device should work with Qemu versions >= 2.5 at least but
3.0 dropped support for legacy -net completely.
2019-02-19 11:12:10 +01:00
328c1ad96e
foc: prevent region overlap on i.MX6 Sabrelite
2019-02-19 11:08:17 +01:00
1c0541e7cb
run: add power cycle procedure
...
The 'run_genode_until' procedure only called 'run_power_on' to reset
the target machine. That works will with the softreset module, which
is used by all x86-based test system but falls short regarding ARM
boards. The way those boards are connected requires turning the power
off and on for a complete cycle.
2019-02-12 10:33:15 +01:00
f529871162
Add [depot_user] to run tool builtins
...
Now that the depot_user procedure has found use in the depot_autopilot
it has become a convention.
Fix #3127
2019-01-30 13:49:55 +01:00
5b8e1cdbbb
foc: add recipe for imx6q_sabrelite base lib
2019-01-30 13:35:28 +01:00
b765cef359
replace Wandboard by i.MX6 reference board
...
Instead of using the Wandboard Quad, the reference hardware from NXP
i.MX6 Quad Sabrelite will be used by Fiasco.OC, sel4 and hw by default.
2019-01-30 13:35:28 +01:00
c65860ee53
enable i.MX6 Quad Sabrelite board for hw and foc
2019-01-30 13:35:28 +01:00
9dfad6d9da
run: plugin for Allnet MSR powerplug
...
The plugin was tested with ALL4176 but should support all modern Allnet
MSR devices according to the documentation
https://service.allnet.de/image-ftp/ftp/pub/allnet/MSR/JSON/JSON_MSR.zip
It works just like the existing powerplug plugins by
RUN_OPT += --include power_on/allnet --include power_off/allnet
and uses the following parameters
--power-on-allnet-host network address of device
--power-on-allnet-user user for device
--power-on-allnet-password password for device
--power-on-allnet-port target port/socket of device
--power-off-allnet-host network address of device
--power-off-allnet-user user for device
--power-off-allnet-password password for device
--power-off-allnet-port target port/socket of device
2019-01-14 12:34:41 +01:00
89935e7308
gems: add pkg/drivers_nic-pc
2019-01-07 12:33:55 +01:00
0dc4335fbc
run: fix custom image disk size calculation
2019-01-07 12:33:53 +01:00
7ad00d1152
base-hw/recipes: src/base-hw-muen
2019-01-07 12:25:46 +01:00
1d0e063f49
base-sel4: recipe for Wandboard platform
...
* Allow depot_autopilot to be run on top of sel4/wand_quad too (Ref #3027 )
2019-01-07 12:25:44 +01:00
6fb9c802d3
depot: enable package building for armv6
...
* Allow depot_autopilot to be run on top of arm_v6 too (Ref #3027 )
2019-01-07 12:25:43 +01:00
42c5f2e91e
hw: add src package for base-hw-zynq_qemu
...
* Needed for nightly depot_autopilot tests (Ref #3027 )
2019-01-07 12:25:43 +01:00
651d9f587f
depot.inc: 'append_src_and_api_depot_packages_to_tar' function
...
This function adds the src and api depot packages for the given pkg or src
packages to the given tar archive.
Issue #3048
2018-11-29 11:46:01 +01:00
