Reto Buerki
11bfbb3532
run: Use raw binary object for base-hw on Muen
2015-08-27 13:48:25 +02:00
Christian Helmuth
ce43ed4c17
hw: load bender before kernel on grub too
2015-07-21 09:30:11 +02:00
Reinier Millo Sánchez
c60d65150e
base-foc: support for Raspberry Pi
...
Fixes #1596
2015-07-06 12:22:26 +02:00
Alexander Boettcher
e131235521
hw: support booting via tftp on x86
...
Fixes #1580
2015-07-01 15:04:35 +02:00
Alexander Boettcher
6f6fb69dc9
hw: keep config file in run directory
...
Issue #1580
2015-07-01 15:04:35 +02:00
Norman Feske
f19f454ae5
sel4: move core to a libaray, add boot_modules.s
2015-05-26 09:39:59 +02:00
Norman Feske
b8c107ceb2
sel4: let run tool support core and non-core tests
2015-05-26 09:39:57 +02:00
Norman Feske
456d81f517
New base-sel4 repository
2015-05-26 09:39:53 +02:00
Alexander Boettcher
93c1ef0309
run: build nova kernel on every run invocation
...
Compared to some other kernels checking the nova source and building is way
faster - so we can spend on each run/* invocation the extra time.
2015-05-26 09:39:48 +02:00
Norman Feske
33c2bc8ad0
Fix comment
2015-05-26 09:39:46 +02:00
Martin Stein
de9d69a6d7
hw: re-enable kernel tests with the new run env
...
The new run env doesn't pass the "core_type" parameter at one point
which is why we have to pass it through a global HW-specific variable.
Ref #1464
2015-04-23 16:51:33 +02:00
Adrian-Ken Rueegsegger
8c9b79fab0
hw: Use properly sized asm type in boot_modules.s
...
The boot modules assembled by the generated boot_modules.s file is
accessed from core using struct Bm_header. Unfortunately the assembler
.long directive is synonym to .int [1] and thus has the same size as the
C++ int type and *not* long. Use the matching assembly type .quad in
boot_modules.s when generating the file for 64-bit platforms such as
x86_64.
[1] - https://sourceware.org/binutils/docs/as/Long.html
2015-03-27 11:53:16 +01:00
Norman Feske
a974726e26
hw: skeleton for building on x86_64
...
This patch contains the initial code needed to build and bootstrap the
base-hw kernel on x86 64-bit platforms. It gets stuck earlier
because the binary contains 64-bit instructions, but it is started in
32-bit mode. The initial setup of page tables and switch to long mode is
still missing from the crt0 code.
2015-03-27 11:53:16 +01:00
Norman Feske
cc00af85bf
Add hw_x86_64 to create_builddir tool
2015-03-27 11:53:16 +01:00
Sebastian Sumpf
e4194b4f44
base-foc: Remove 'modaddr' from bootstrap
...
Let bender relocate the boot modules. Skip relocation strep in bootstrap (only
the kernel, sigma0, and roottask will be loaded).
2015-02-27 11:48:05 +01:00
Josef Söntgen
7617833365
run: capture kernel msg to detect boot errors
...
Handle boot errors like the old run tool did by checking a kernel
specific string on boot up and start the run script timeout afterwards.
Issue #1395 .
2015-02-16 14:01:45 +01:00
Josef Söntgen
c706b1c0a7
run: modularize run tool
2015-01-26 12:28:40 +01:00
