| #
d9b646e1 |
|
19-Aug-2019 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
x86_64: make all targets compile
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
| #
8ff0486c |
|
13-Nov-2018 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
Remove invoke_frame_identify, replaced with frame_identify().
This commit fully removes the Frame_Identify invocation and replaces the
calls with frame_identify().
Additionally, because the KCB is special, this commit introduces a new
invocation kcb_identify() which translates the lvaddr in the KCB
capability into the pysical address of the kernel control block.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
| #
29a7098f |
|
22-Oct-2015 |
Reto Achermann <reto.achermann@hpe.com> |
libdemandpaging: adding functionality to add/remove frames from region
Signed-off-by: Reto Achermann <reto.achermann@hpe.com>
|
| #
1e2ac939 |
|
21-Oct-2015 |
Reto Achermann <reto.achermann@hpe.com> |
libdemandpaging: fix wrong cnode size
Signed-off-by: Reto Achermann <reto.achermann@hpe.com>
|
| #
3fc53155 |
|
21-Oct-2015 |
Reto Achermann <reto.achermann@hpe.com> |
libdemandpaging: fixing assert with NDEBUG
Signed-off-by: Reto Achermann <reto.achermann@hpe.com>
|
| #
c7ba9f8c |
|
21-Oct-2015 |
Reto Achermann <reto.achermann@hpe.com> |
libdemandpaging: cleanup and adding of measurements
Signed-off-by: Reto Achermann <reto.achermann@hpe.com>
|
| #
8bc3824f |
|
20-Oct-2015 |
Reto Achermann <reto.achermann@hpe.com> |
libdemandpaging: initial commit with basic functinality and access to dirty bits"
Signed-off-by: Reto Achermann <reto.achermann@hpe.com>
|