#
bf3f5079 |
|
16-Oct-2017 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
mdbbench: update for SG thesis plotting Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
#
72e7a88d |
|
16-Oct-2017 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
mdbbench: update for SG thesis plotting Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
#
fc7fc8de |
|
16-Dec-2015 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
T191: change PhysAddr, RAM, Frame, DevFrame and VNode_* cap types to have size in bytes This only changes the actual struct capability reprensentation for these types. Most of the code dealing with these types now uses log2ceil(bits) to set the new `bytes` field. Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
#
16937d0b |
|
12-Mar-2014 |
Gerd Zellweger <mail@gerdzellweger.com> |
Make everything compile for 32bit. Fixes mostly printf specifiers all over the source tree.
|
#
d88dd1f0 |
|
12-Mar-2014 |
Gerd Zellweger <mail@gerdzellweger.com> |
Make everything compile for 32bit. Fixes mostly printf specifiers all over the source tree.
|
#
4b400867 |
|
22-May-2012 |
Mark Nevill <nevillm@ethz.ch> |
Added tests and benchmarks for MDB.
|