Convert calls of get_cont_pages() to kpages_alloc
[akaros.git] / kern / arch / x86 / vmm / Kbuild
1 obj-y                                           += vmm.o
2 obj-y                                           += intel/