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

   1 # -*- makefile -*-
   2
   3 SHELL = /bin/sh
   4
   5 CC = gcc
   6
   7 VPATH := $(TOP_SRCDIR)/threads
   8 VPATH := $(VPATH):$(TOP_SRCDIR)/devices
   9 VPATH := $(VPATH):$(TOP_SRCDIR)/lib
  10 VPATH := $(VPATH):$(TOP_SRCDIR)/filesys
  11 VPATH := $(VPATH):$(TOP_SRCDIR)/userprog
  12
  13 WARNINGS = -Wall -W -Wstrict-prototypes -Wmissing-prototypes
  14 CFLAGS = -g -O3 -MMD -msoft-float $(WARNINGS) $(INCLUDES) $(DEFINES)
  15 ASFLAGS = -Wa,--gstabs $(INCLUDES) $(DEFINES)
  16
  17 # Core kernel.
  18 THREADS_SRC  = init.c           # Main program.
  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 += paging.c         # Page tables.
  25 THREADS_SRC += palloc.c         # Page allocator.
  26 THREADS_SRC += malloc.c         # Subpage allocator.
  27 THREADS_SRC += start.S          # Startup code.
  28
  29 # Device driver code.
  30 DEVICES_SRC  = timer.c          # Timer device.
  31 DEVICES_SRC += kbd.c            # Keyboard device.
  32 DEVICES_SRC += vga.c            # Video device.
  33 DEVICES_SRC += serial.c         # Serial port device.
  34 DEVICES_SRC += disk.c           # IDE disk device.
  35
  36 # Library code.
  37 LIB_SRC  = debug.c              # Debug helpers.
  38 LIB_SRC += lib.c                # Standard C library.
  39 LIB_SRC += random.c             # Pseudo-random numbers.
  40 LIB_SRC += list.c               # Doubly-linked lists.
  41 LIB_SRC += bitmap.c             # Bitmaps.
  42 LIB_SRC += hash.c               # Hash tables.
  43
  44 # Filesystem code.
  45 FILESYS_SRC  = filesys.c        # Filesystem core.
  46 FILESYS_SRC += file.c           # Files.
  47 FILESYS_SRC += directory.c      # Directories.
  48 FILESYS_SRC += filehdr.c        # File headers (inodes).
  49 FILESYS_SRC += fsutil.c         # Utilities.
  50
  51 # User process code.
  52 USERPROG_SRC  = addrspace.c     # Address spaces.
  53 USERPROG_SRC += exception.c     # User exception handler.
  54 USERPROG_SRC += syscall.c       # System call handler.
  55 USERPROG_SRC += gdt.c           # GDT initialization.
  56 USERPROG_SRC += tss.c           # TSS management.
  57
  58 # Objects.
  59 OBJECTS = $(patsubst %.c,%.o,$(patsubst %.S,%.o,$(SOURCES)))
  60
  61 all: diskimage.bin
  62
  63 intr-stubs.S: $(TOP_SRCDIR)/threads/intr-stubs.pl $(TOP_SRCDIR)/threads/loader.h
  64         $< > $@
  65
  66 kernel.lds.s: CPPFLAGS += -P -C
  67 kernel.lds.s: $(TOP_SRCDIR)/threads/kernel.lds.S $(TOP_SRCDIR)/threads/loader.h
  68
  69 kernel.o: $(OBJECTS) kernel.lds.s
  70         ld -T kernel.lds.s -o $@ $(OBJECTS) `$(CC) -print-libgcc-file-name`
  71
  72 kernel.bin: kernel.o
  73         objcopy -O binary -R .note -R .comment -S $< $@.tmp
  74         $(TOP_SRCDIR)/pad 4096 < $@.tmp > $@
  75
  76 loader.bin: loader.S loader.h kernel.bin
  77         gcc -c $< -DKERNEL_LOAD_PAGES=`perl -e 'print +(-s "kernel.bin") / 4096;'`
  78         ld -N -e start -Ttext 0x7c00 --oformat binary -o $@ loader.o
  79
  80 diskimage.bin: loader.bin kernel.bin
  81         cat loader.bin kernel.bin > diskimage.bin
  82
  83 clean:
  84         rm -f *.o *.d *.bin
  85         rm -f kernel.bin.data kernel.bin.pad intr-stubs.S kernel.lds.s
  86
  87 -include *.d