| #
5004dc7e |
|
05-Aug-2019 |
Daniel Schwyn <daniel.schwyn@inf.ethz.ch> |
armv8: Support no access page mappings
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
|
| #
5a51120c |
|
19-Jul-2019 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
armv8: expect the right number of arguments in the modify mapping invocation
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
| #
9bd8d1d5 |
|
03-Apr-2019 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
| #
499a989b |
|
24-Oct-2018 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
kernel: implement access_ok() to check user pointer validity
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
| #
1ed1a1d4 |
|
19-Oct-2018 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
armv8: make compile
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
| #
2f6da67b |
|
20-Feb-2018 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
kernel,armv8: fix mapping code to use new mapping cap format
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
| #
6e658ba0 |
|
07-Mar-2017 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
ARMv8: remove functions from sysreg.h and using mackerel functions instead.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
| #
5875ab3e |
|
09-Oct-2016 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
armv8: removing tmas/paging and merge with armv8/paging.c
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
| #
360b00cc |
|
27-Jul-2016 |
Moritz Hoffmann <moritz.hoffmann@hpe.com> |
kernel/armv8: Set page table bits correctly to handle uncached memory.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
|
| #
1a47d899 |
|
28-Sep-2016 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
T291: add implementation for armv7/8
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
| #
dfa2edbb |
|
25-Jul-2016 |
Moritz Hoffmann <moritz.hoffmann@hpe.com> |
armv8: Do not invalidate D and I cache on context switch. This needs to be revised.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
|
| #
01e7894c |
|
07-Jul-2016 |
Moritz Hoffmann <moritz.hoffmann@hpe.com> |
Incremental updates to make Barrelfish work on TMAS with recent ARM changes.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
|
| #
3bdd791c |
|
17-Jun-2016 |
Moritz Hoffmann <moritz.hoffmann@hpe.com> |
kernel/armv8: Support reading L0 entries.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
|
| #
f540cb7b |
|
17-Jun-2016 |
Moritz Hoffmann <moritz.hoffmann@hpe.com> |
kernel/armv8: Print debug before incrementing pointer.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
|
| #
9f4cfe24 |
|
17-Jun-2016 |
Moritz Hoffmann <moritz.hoffmann@hpe.com> |
kernel/aarch64: Enable caching for EL0 and set paging bits correctly.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
|
| #
69ff3387 |
|
15-Jun-2016 |
Moritz Hoffmann <moritz.hoffmann@hpe.com> |
aarch64: Use VNode_AARCH64_l0 as initial page table level.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
|
| #
fa84d7c2 |
|
03-Jun-2016 |
Moritz Hoffmann <moritz.hoffmann@hpe.com> |
armv8/paging: convert caps_copy_to_vnode if/else to lookup table.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
|
| #
8c84b71a |
|
03-Jun-2016 |
Moritz Hoffmann <moritz.hoffmann@hpe.com> |
paging ARMv8: rename to VMSAv8_64 as per documentation. Unify page table handling.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
|
| #
b139b4ae |
|
25-Jan-2016 |
David Cock <david.cock@inf.ethz.ch> |
Preliminary ARM Foundation Model port.
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
| #
f3231919 |
|
11-Feb-2016 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
T207: Implement local_phys_is_valid() and call this in paging_dump_tables()
Closes T207.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
| #
c59a70af |
|
23-Nov-2015 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
T187: Move aarch64 code to mapping caps
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
| #
146e4e08 |
|
16-Nov-2015 |
David Cock <david.cock@inf.ethz.ch> |
Clean merge of HP's ARMv8 code
This adds support for an ARMv8 core running in the GEM5 simulator
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|