cflags += --target=x86_64-unknown-unknown-elf \ -mno-avx \ -mno-red-zone \ -mcmodel=large ldflags += -zmax-page-size=0x1000