vmm: Check VPPR and interrupt-window-blocking with RVI
[akaros.git] / user / ndblib / Makefile
1 LIBNAME = ndblib
2 include ../Makefrag-user-lib