Sebastian Sumpf e17accb3ba base-hw: RISC-V save/restore 'x29' correctly ...

* register x29/t4 was not saved and therefore not restored correctly
* change 'warning' to 'error' before '_die' is called

issue #2423

2017-08-30 09:59:59 +02:00

..

bbl

base-hw: RISC-V BBL

2017-05-31 13:16:24 +02:00

bootstrap

hw: prevent segment register re-loading

2017-08-28 16:49:45 +02:00

core

base-hw: RISC-V save/restore 'x29' correctly

2017-08-30 09:59:59 +02:00

include/base/internal

base: make stack area base specifiable for core

2017-08-28 16:49:46 +02:00

kernel/spec/muen

Update Muen port

2017-06-29 11:59:58 +02:00

lib

hw: enable mappings beyond 4G on x86_64

2017-08-28 16:49:46 +02:00

test

Streamline exception types

2017-05-31 13:16:07 +02:00