| #
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>
|
| #
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>
|
| #
9299dcef |
|
08-Jul-2011 |
Stefan Kästle <stefan.kaestle@inf.ethz.ch> |
Initial version of public stable barrelfish repository.
|