X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=Makefile.x86_64.cfg;h=a5bfe218678b5c142098cc9e5262b097e0cb969e;hb=43e29020db661002e0fdff3b42abba32c43393dd;hp=ac012f6250f1f5d66fc8bb4dd8398d227a7919c4;hpb=a79ebcb3a2e206251f44e99376ec2ed6c2bacc63;p=tpg%2Facess2.git

diff --git a/Makefile.x86_64.cfg b/Makefile.x86_64.cfg
index ac012f62..a5bfe218 100644
--- a/Makefile.x86_64.cfg
+++ b/Makefile.x86_64.cfg
@@ -1,8 +1,9 @@
 
 CC = x86_64-linux-gnu-gcc
 LD = ld
+DISASM = objdump -d -M x86-64
 
-KERNEL_CFLAGS = -mcmodel=large
+KERNEL_CFLAGS = -mcmodel=large -nostdlib
 
 ARCHDIR = x86_64