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

   1 # -*- makefile -*-
   2
   3 SRCDIR = ../..
   4
   5 all: kernel.bin loader.bin
   6
   7 include ../../Make.config
   8 include ../Make.vars
   9 include ../../tests/Make.tests
  10
  11 # Compiler and assembler options.
  12 kernel.bin: CPPFLAGS += -I$(SRCDIR)/lib/kernel
  13
  14 # Core kernel.
  15 threads_SRC  = threads/start.S          # Startup code.
  16 threads_SRC += threads/init.c           # Main program.
  17 threads_SRC += threads/thread.c         # Thread management core.
  18 threads_SRC += threads/switch.S         # Thread switch routine.
  19 threads_SRC += threads/interrupt.c      # Interrupt core.
  20 threads_SRC += threads/intr-stubs.S     # Interrupt stubs.
  21 threads_SRC += threads/synch.c          # Synchronization.
  22 threads_SRC += threads/palloc.c         # Page allocator.
  23 threads_SRC += threads/malloc.c         # Subpage allocator.
  24
  25 # Device driver code.
  26 devices_SRC  = devices/pit.c            # Programmable interrupt timer chip.
  27 devices_SRC += devices/timer.c          # Periodic timer device.
  28 devices_SRC += devices/kbd.c            # Keyboard device.
  29 devices_SRC += devices/vga.c            # Video device.
  30 devices_SRC += devices/serial.c         # Serial port device.
  31 devices_SRC += devices/block.c          # Block device abstraction layer.
  32 devices_SRC += devices/partition.c      # Partition block device.
  33 devices_SRC += devices/ide.c            # IDE disk block device.
  34 devices_SRC += devices/input.c          # Serial and keyboard input.
  35 devices_SRC += devices/intq.c           # Interrupt queue.
  36 devices_SRC += devices/rtc.c            # Real-time clock.
  37 devices_SRC += devices/speaker.c        # PC speaker.
  38 devices_SRC += devices/pci.c            # PCI bus.
  39 devices_SRC += devices/usb.c            # USB layer.
  40 devices_SRC += devices/usb_uhci.c       # UHCI device.
  41 devices_SRC += devices/usb_ehci.c       # EHCI device.
  42 devices_SRC += devices/usb_storage.c    # USB mass storage class driver.
  43 devices_SRC += devices/usb_hub.c        # USB hub class driver.
  44
  45 # Library code shared between kernel and user programs.
  46 lib_SRC  = lib/debug.c                  # Debug helpers.
  47 lib_SRC += lib/random.c                 # Pseudo-random numbers.
  48 lib_SRC += lib/stdio.c                  # I/O library.
  49 lib_SRC += lib/stdlib.c                 # Utility functions.
  50 lib_SRC += lib/string.c                 # String functions.
  51 lib_SRC += lib/arithmetic.c             # 64-bit arithmetic for GCC.
  52 lib_SRC += lib/ustar.c                  # Unix standard tar format utilities.
  53
  54 # Kernel-specific library code.
  55 lib/kernel_SRC  = lib/kernel/debug.c    # Debug helpers.
  56 lib/kernel_SRC += lib/kernel/list.c     # Doubly-linked lists.
  57 lib/kernel_SRC += lib/kernel/bitmap.c   # Bitmaps.
  58 lib/kernel_SRC += lib/kernel/hash.c     # Hash tables.
  59 lib/kernel_SRC += lib/kernel/console.c  # printf(), putchar().
  60
  61 # User process code.
  62 userprog_SRC  = userprog/process.c      # Process loading.
  63 userprog_SRC += userprog/pagedir.c      # Page directories.
  64 userprog_SRC += userprog/exception.c    # User exception handler.
  65 userprog_SRC += userprog/syscall.c      # System call handler.
  66 userprog_SRC += userprog/gdt.c          # GDT initialization.
  67 userprog_SRC += userprog/tss.c          # TSS management.
  68
  69 # No virtual memory code yet.
  70 #vm_SRC = vm/file.c                     # Some file.
  71
  72 # Filesystem code.
  73 filesys_SRC  = filesys/filesys.c        # Filesystem core.
  74 filesys_SRC += filesys/free-map.c       # Free sector bitmap.
  75 filesys_SRC += filesys/file.c           # Files.
  76 filesys_SRC += filesys/directory.c      # Directories.
  77 filesys_SRC += filesys/inode.c          # File headers.
  78 filesys_SRC += filesys/fsutil.c         # Utilities.
  79
  80 SOURCES = $(foreach dir,$(KERNEL_SUBDIRS),$($(dir)_SRC))
  81 OBJECTS = $(patsubst %.c,%.o,$(patsubst %.S,%.o,$(SOURCES)))
  82 DEPENDS = $(patsubst %.o,%.d,$(OBJECTS))
  83
  84 threads/kernel.lds.s: CPPFLAGS += -P
  85 threads/kernel.lds.s: threads/kernel.lds.S threads/loader.h
  86
  87 kernel.o: threads/kernel.lds.s $(OBJECTS)
  88         $(LD) -T $< -o $@ $(OBJECTS)
  89
  90 kernel.bin: kernel.o
  91         $(OBJCOPY) -R .note -R .comment -S $< $@
  92
  93 threads/loader.o: threads/loader.S
  94         $(CC) -c $< -o $@ $(ASFLAGS) $(CPPFLAGS) $(DEFINES)
  95
  96 loader.bin: threads/loader.o
  97         $(LD) -N -e 0 -Ttext 0x7c00 --oformat binary -o $@ $<
  98
  99 os.dsk: kernel.bin
 100         cat $^ > $@
 101
 102 clean::
 103         rm -f $(OBJECTS) $(DEPENDS)
 104         rm -f threads/loader.o threads/kernel.lds.s threads/loader.d
 105         rm -f kernel.bin.tmp
 106         rm -f kernel.o kernel.lds.s
 107         rm -f kernel.bin loader.bin
 108         rm -f bochsout.txt bochsrc.txt
 109         rm -f results grade
 110
 111 Makefile: $(SRCDIR)/Makefile.build
 112         cp $< $@
 113
 114 -include $(DEPENDS)