BOOT=1
INC_KERNEL=1

OBJS+=main.o
EXEC=test.elf

include Makefile.inc

BOOTER_ARGS := --num_vcpus 512

# big allocator heap for all those threads; size in words
LDFLAGS += -Wl,--defsym=H2K_ALLOC_HEAP_SIZE=0x20000 -Wl,--defsym=__h2_thread_stop_hook__=0xfffffff0
