pintos-os.org Git - pintos-anon/blob - src/Makefile.inc

   1 # -*- makefile -*-
   2
   3 SHELL = /bin/sh
   4 VPATH := $(TOP_SRCDIR)/threads
   5 VPATH := $(VPATH):$(TOP_SRCDIR)/devices
   6 VPATH := $(VPATH):$(TOP_SRCDIR)/lib
   7 VPATH := $(VPATH):$(TOP_SRCDIR)/filesys
   8
   9 -include *.d
  10
  11 DEFINES =
  12 WARNINGS = -Wall -W -Wstrict-prototypes -Wmissing-prototypes
  13 CFLAGS = -g -O3 -MMD $(WARNINGS) $(INCLUDES) $(DEFINES)
  14 ASFLAGS = $(INCLUDES) $(DEFINES)
  15
  16 # Core kernel.
  17 THREADS_SRC  = start.S          # Must be linked first.
  18 THREADS_SRC += init.c           # Start-up code.
  19 THREADS_SRC += thread.c         # Thread management core.
  20 THREADS_SRC += switch.S         # Thread switch routine.
  21 THREADS_SRC += interrupt.c      # Interrupt core.
  22 THREADS_SRC += intr-stubs.S     # Interrupt stubs.
  23 THREADS_SRC += synch.c          # Synchronization.
  24 THREADS_SRC += palloc.c         # Page allocator.
  25 THREADS_SRC += malloc.c         # Subpage allocator.
  26
  27 # Device driver code.
  28 DEVICES_SRC  = timer.c          # Timer device.
  29 DEVICES_SRC += kbd.c            # Keyboard device.
  30 DEVICES_SRC += vga.c            # Video device.
  31 DEVICES_SRC += serial.c         # Serial port device.
  32
  33 # Library code.
  34 LIB_SRC  = debug.c              # Debug helpers.
  35 LIB_SRC += lib.c                # Standard C library.
  36 LIB_SRC += random.c             # Pseudo-random numbers.
  37 LIB_SRC += list.c               # Doubly-linked lists.
  38 LIB_SRC += bitmap.c             # Bitmaps.
  39 LIB_SRC += backdoor.c           # Backdoor IPC.
  40
  41 # Filesystem code.
  42 FILESYS_SRC  = filesys.c        # Filesystem core.
  43 FILESYS_SRC += file.c           # Individual files.
  44 FILESYS_SRC += filesys-stub.c   # Stub helper code.
  45
  46 # Objects.
  47 OBJECTS = $(patsubst %.c,%.o,$(patsubst %.S,%.o,$(SOURCES)))
  48
  49 all: diskimage.bin
  50
  51 intr-stubs.S: $(TOP_SRCDIR)/threads/intr-stubs.pl
  52         $< > $@.tmp && mv $@.tmp $@
  53
  54 kernel.o: $(OBJECTS)
  55         ld -T $(TOP_SRCDIR)/threads/kernel.lds -o $@ $^ \
  56                 `$(CC) -print-libgcc-file-name`
  57
  58 kernel.bin: kernel.o
  59         objcopy -O binary -R .note -R .comment -S $< $@.data
  60         perl -e 'print "\0" x (4096 - (-s "$@.data") % 4096)' > $@.pad
  61         cat $@.data $@.pad > $@.tmp && mv $@.tmp $@
  62
  63 loader.bin: loader.S kernel.bin
  64         gcc -c $< -DKERNEL_LOAD_PAGES=`perl -e 'print +(-s "kernel.bin") / 4096;'`
  65         ld -N -e start -Ttext 0x7c00 --oformat binary -o $@ loader.o
  66
  67 diskimage.bin: loader.bin kernel.bin
  68         cat loader.bin kernel.bin > diskimage.bin
  69
  70 clean:
  71         rm -f *.o *.d *.bin kernel.bin.data kernel.bin.pad intr-stubs.S
  72
  73