History log of /barrelfish-master/kernel/include/target/x86_32/paging_kernel_target.h
Revision Date Author Comments
# 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>


# e0c78b41 11-Jun-2015 Simon Gerber <simon.gerber@inf.ethz.ch>

x86: implement modify flags for x86_32 and improve modify flags for x86_64.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>


# a41d99a2 30-Jan-2013 Simon Gerber <simon.gerber@inf.ethz.ch>

x86_32: Implemented new modify_flags invocation and associated functionality.


# 9299dcef 08-Jul-2011 Stefan Kästle <stefan.kaestle@inf.ethz.ch>

Initial version of public stable barrelfish repository.