VMM: Clean up per-cpu VMCS state
[akaros.git] / kern / arch / riscv / Makefile
1 CROSS_COMPILE := riscv-ucb-akaros-
2 # basically a nop.  this runs post-link of the kernel
3 ARCH_POST_LINK_CMD = echo -n
4
5 # Machinery to create the kernel build info source
6 KERNEL_ELF_PATH := $(abspath $(KERNEL_OBJ))
7 export KERNEL_ELF_PATH