/drivers/ddk/Makefile |
---|
1,6 → 1,4 |
CC = gcc |
AS = as |
11,7 → 9,7 |
DEFINES = -DKOLIBRI -D__KERNEL__ -DCONFIG_X86_32 |
CFLAGS = -c -O2 $(INCLUDES) $(DEFINES) -fomit-frame-pointer -fno-builtin-printf |
NAME:= libdrv |
NAME:= libddk |
CORE_SRC= core.S |
25,6 → 23,7 |
linux/idr.c \ |
linux/firmware.c \ |
linux/list_sort.c \ |
linux/dmapool.c \ |
malloc/malloc.c \ |
stdio/icompute.c \ |
stdio/vsprintf.c \ |