| 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 |
