config/x86_64.mk


1
2
3
4
5
6
7
8
9

CONFIG_X86 := y
CONFIG_PLAN9 := y
CONFIG_HVM := y
CONFIG_MIGRATE := y
CONFIG_IOEMU := y
CONFIG_MBOOTPACK := y

CFLAGS += -m64
LIBDIR = lib64