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
Stefan Kalkowski
822a6e7c5f
hw_riscv: strictly separate machine and syscall ids
...
Fix #3230
2019-03-18 15:56:59 +01:00
Alexander Boettcher
cf3ff17c50
hw/x86: enable SMP support
...
Fixes #2929
2018-08-28 16:48:44 +02:00
Adrian-Ken Rueegsegger
3108b71a89
Update Muen port
...
- Use device class in system policies to simplify platform-specific
device assignment
- Increase timed event nr. bits from 5 to 6
2018-05-30 13:36:36 +02:00
Reto Buerki
5c3461a851
Update Muen port
...
- Switch to sinfo variant resources API
- Improved MSI IRQ representation and processing
- Genode system policy adjustments
2018-04-19 12:38:25 +02:00
Adrian-Ken Rueegsegger
9e4ff8c196
Update Muen port
...
- Use latest Muen version
- Sync VirtualBox Muen subject state
- Drop unneccessary subject IP patch
- Adapt Muen RUN_OPTs
- Update documentation
Note: the GPL 2017 toolchain is now required and as the debug output
format has changed the mulog-subject.py script must be updated on
autopilot instances.
2018-02-28 11:04:57 +01:00
Stefan Kalkowski
ca60e24ad9
hw: run core threads in privileged mode
...
* introduce new syscall (core-only) to create privileged threads
* take the privilege level of the thread into account
when doing a context switch
* map kernel segment as accessable for privileged code only
Ref #2091
2017-10-19 13:31:17 +02:00
Sebastian Sumpf
f361cb28a5
base-hw: timer support for RISC-V
...
issue #2423
2017-08-30 10:00:00 +02:00
Sebastian Sumpf
9094517809
base-hw: BBL fix warnings
...
* fix compile warnings
* added license headers to Genodes' part of BBL
issue #2423
2017-08-30 10:00:00 +02:00
Christian Helmuth
7f2087e105
muen: adapt initial IP of genode subject
...
The entry point changed in "hw: add UEFI boot support" due to the
additional Multiboot2 header.
Issue #2242
2017-08-28 16:49:45 +02:00
Adrian-Ken Rueegsegger
c14149b4eb
Update Muen port
...
- Use latest Muen version
- Sync VirtualBox Muen subject state
- Rework Muen download so contrib/muen-* remains untouched after port
has been prepared
2017-06-29 11:59:58 +02:00
Sebastian Sumpf
6c95eb9aff
base-hw: RISC-V BBL
...
The Berkley Boot Loader handles kernel loading and machine mode
2017-05-31 13:16:24 +02:00
Adrian-Ken Rueegsegger
923fbc9e86
Update Muen port
...
- Adjust Muen RUN_OPTs
- Update documentation
- Checkout required submodule
2017-05-31 13:16:22 +02:00
Adrian-Ken Rueegsegger
1e090f1f6b
Update Muen port
...
Fixes #2356
2017-05-02 15:28:53 +02:00
Adrian-Ken Rueegsegger
bdfe3e1a8c
Update Muen port
...
- Upgrade to Muen v0.8+
- Switch to https
- Download contrib when building kernel
- Append Muen compilation output to build log
- Explicitly init required submodule
2017-02-28 13:00:43 +01:00
Adrian-Ken Rueegsegger
dd22c961c9
Update Muen port
...
- Adjust list of Muen components
- vbox: Sync hw_x86_64_muen subject state with Muen SK
2016-08-10 11:07:48 +02:00
Reto Buerki
f241b6e496
Update Muen port to revision c73734d
...
Issue #2016
2016-07-06 13:02:58 +02:00
Adrian-Ken Rueegsegger
3a9e5cbd8c
Relax tool checks of Muen port
...
The gnat and gprbuild tools are not necessarily in the PATH when
preparing the port since the effective location is specified by the
--image-muen-gnat-path RUN_OPT.
2016-02-26 11:36:55 +01:00
Reto Buerki
aa8e5c5016
Update Muen port to release version 0.7.0
2016-02-26 11:36:53 +01:00
Adrian-Ken Rueegsegger
8d2f2b0101
hw: Add port for Muen Separation Kernel
...
For additional information about the Muen SK refer to the project page
at [1].
[1] - http://muen.codelabs.ch/
2016-01-08 14:37:56 +01:00
