| #
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>
|
| #
9a7d2f5b |
|
11-May-2018 |
Adam Turowski <adam.turowski@inf.ethz.ch> |
fpu: unifing the fpu's context switching
x86_64: fixing the stack's alignment
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
|
| #
df7a10ce |
|
11-May-2018 |
Adam Turowski <adam.turowski@inf.ethz.ch> |
fpu: unifing the fpu's context switching
x86_64: fixing the stack's alignment
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
|
| #
5e618dad |
|
04-Oct-2016 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
nkmtest: make arm version compile and only check fault type on x86
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
| #
35f24ce4 |
|
18-Nov-2015 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
T187: Update x86_32 to mapping capability interface.
Also move page_mappings_unmap() to paging_generic.c
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
| #
3ce7ad82 |
|
18-Nov-2015 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
T187: improve VM kernel interface tests + add harness test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
| #
0323e3cd |
|
03-Mar-2015 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
T73: fix modify_flags for parts of region + test.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
| #
c3911b16 |
|
22-Jan-2014 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
Added modify_flags test. Fixed missing local_phys_to_mem in kernel modify_flags.
|
| #
81e3710f |
|
20-Aug-2014 |
Stefan Kaestle <stefan.kaestle@inf.ethz.ch> |
Second set of patches for Bulk Transfer DSL project
See commit 854eafa
|
| #
d5049565 |
|
27-Jan-2014 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
Flush affected TLB entries on modify_flags.
|
| #
8ae4abce |
|
22-Jan-2014 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
Added modify_flags test. Fixed missing local_phys_to_mem in kernel modify_flags.
|