# Written by `make sdk`. The flags koicc builds with, taken from
# the Makefile that builds the system itself, so the two cannot drift.
KOI_CFLAGS="-ffreestanding -fno-stack-protector -fno-stack-check -fno-builtin -fpie -mno-red-zone -msse2 -mfpmath=sse -fno-asynchronous-unwind-tables -ffunction-sections -fdata-sections -O2 -fno-strict-aliasing -fwrapv -fno-delete-null-pointer-checks -Wall -Wextra -std=c11 -I ."
KOI_LDFLAGS="-nostdlib -pie -Wl,--no-dynamic-linker -Wl,-T,program.ld -Wl,--build-id=none -Wl,-z,max-page-size=0x1000 -Wl,-z,noexecstack -Wl,--gc-sections"
