INC_KERNEL=1
BOOT=1
BOOTER_ARGS := --num_vcpus 512

CFLAGS += -g

OBJS+=test.o
EXEC=test.elf

include Makefile.inc


