SOURCES+=	kdb/platform/efi/memmap.cc \
		kdb/platform/efi/reset.cc
