| #
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>
|
| #
69b41b96 |
|
18-Apr-2016 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).
Take this commit out when merging
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
| #
81dc8bb1 |
|
14-Mar-2016 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
x86_32: fix nonsense comparisons
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>
|
| #
f747554f |
|
17-Nov-2015 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
T24: remove remaining SCC code
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
| #
60226648 |
|
31-Oct-2014 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
x86_32: Added missing monitor invocation: monitor_get_arch_id.
|
| #
f12fbbb4 |
|
25-Mar-2014 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
x86_32: simple test works.
|
| #
f02a8d89 |
|
25-Mar-2014 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
monitor: removed unused monitor_identify_cnode_get_cap.
|
| #
e56f514a |
|
25-Mar-2014 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
Make x86_32 compile; some of the monitor invocations are disabled right now.
|
| #
82f33c11 |
|
16-Mar-2012 |
Mark Nevill <nevillm@ethz.ch> |
Implemented monitor_(un)lock_cap.
|
| #
62334d8e |
|
14-Mar-2012 |
Mark Nevill <nevillm@ethz.ch> |
Implemented get/set owner monitor invocations.
|
| #
9642dd90 |
|
14-Mar-2012 |
Mark Nevill <nevillm@ethz.ch> |
Split up and moved around monitor's private includes.
|