coreboot-kgpe-d16/util/pgtblgen/Makefile.inc

20 lines
598 B
PHP
Raw Normal View History

ifeq ($(CONFIG_ARCH_BOOTBLOCK_X86_64),y)
PGTBLGEN:= $(obj)/pgtblgen
cbfs-files-y += pagetables
pagetables-file := $(obj)/mainboard/$(MAINBOARDDIR)/pagetables
pagetables-type := raw
pagetables-compression := none
pagetables-COREBOOT-position := $(CONFIG_ARCH_X86_64_PGTBL_LOC)
$(obj)/mainboard/$(MAINBOARDDIR)/pagetables: $(PGTBLGEN) $(obj)/config.h
printf " TOOL Creating page tables\n"
$(PGTBLGEN) -b $(CONFIG_ARCH_X86_64_PGTBL_LOC) -a x86_64 -o $@
$(PGTBLGEN): util/pgtblgen/pgtblgen.c
printf " MAKE Creating PGTBLGEN tool\n"
$(HOSTCC) -std=c99 $< -I$(obj) -o $@
endif