harness: Add test for vnode_map() with too many ptes requested
[barrelfish] / tools / harness / tests / nkmtest.py
2016-10-03 Simon Gerberharness: Add test for vnode_map() with too many ptes...
2015-11-23 Simon GerberT187: improve VM kernel interface tests + add harness...