1 # Makefile for GeekOS kernel, userspace, and tools
3 # Northwestern University
4 # (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
5 # (c) 2008, Peter Dinda <pdinda@northwestern.edu>
6 # (c) 2008, Lei Xia <lxia@northwestern.edu>
7 # (c) 2008, The V3VEE Project <http://www.v3vee.org>
9 # Based on GeekOS Makefile:
10 # Copyright (c) 2004,2005 David H. Hovemeyer <daveho@cs.umd.edu>
14 # This is free software. You are permitted to use,
15 # redistribute, and modify it as specified in the file "COPYING".
17 # Required software to build GeekOS:
18 # - GNU Make (http://www.gnu.org/software/make)
19 # - gcc 2.95.2 generating code for target (i386/ELF) and host platforms
20 # - Perl5, AWK (any version), egrep
22 # Cygwin (http://cygwin.com) may be used to build GeekOS.
23 # Make sure that gcc, binutils, nasm, and perl are installed.
26 # - This makefile has been written carefully to work correctly
27 # with the -j (parallel make) option. I regularly use "make -j 2"
28 # to speed the build process on 2 processor systems.
31 # Base address of kernel
33 # Note: at top of memory minus three pages (GDT/TSS/IDT)
37 # Note that the code will initially load at 0x10000
39 # The setup code needs to copy it up to this address and jump there
46 VPATH := $(PROJECT_ROOT)/src
48 #when -DNDEBUG is set the kassert functions are disabled
51 # DEBUG=1 means VMM_DEBUG, VMM_INFO, and VMM_TRACE are enabled
52 # as are SERIAL_PRINT_DEBUG
55 ifeq ($(LEAN_AND_MEAN),1)
65 DEBUG_SECTIONS:= $(DEBUG_SECTIONS) -DDEBUG_SHADOW_PAGING -DDEBUG_CTRL_REGS -DDEBUG_INTERRUPTS -DDEBUG_KEYBOARD -DDEBUG_PIC -DDEBUG_PIT -DDEBUG_NVRAM -DDEBUG_EMULATOR -DDEBUG_XED -DDEBUG_HALT -DDEBUG_DEV_MGR
66 # -DDEBUG_IO -DDEBUG_GENERIC -DDEBUG_RAMDISK
70 ifeq ($(DEBUG_SHADOW_PAGING),1)
71 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_SHADOW_PAGING
73 ifeq ($(DEBUG_SHADOW_PAGING),0)
74 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_SHADOW_PAGING
78 ifeq ($(DEBUG_CTRL_REGS),1)
79 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_CTRL_REGS
81 ifeq ($(DEBUG_CTRL_REGS),0)
82 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_CTRL_REGS
86 ifeq ($(DEBUG_INTERRUPTS),1)
87 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_INTERRUPTS
89 ifeq ($(DEBUG_INTERRUPTS),0)
90 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_INTERRUPTS
95 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_IO
98 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_IO
102 ifeq ($(DEBUG_KEYBOARD),1)
103 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_KEYBOARD
105 ifeq ($(DEBUG_KEYBOARD),0)
106 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_KEYBOARD
110 ifeq ($(DEBUG_PIC),1)
111 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_PIC
113 ifeq ($(DEBUG_PIC),0)
114 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_PIC
118 ifeq ($(DEBUG_PIT),1)
119 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_PIT
121 ifeq ($(DEBUG_PIT),0)
122 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_PIT
126 ifeq ($(DEBUG_NVRAM),1)
127 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_NVRAM
129 ifeq ($(DEBUG_NVRAM),0)
130 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_NVRAM
134 ifeq ($(DEBUG_GENERIC),1)
135 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_GENERIC
137 ifeq ($(DEBUG_GENERIC),0)
138 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_GENERIC
142 ifeq ($(DEBUG_EMULATOR),1)
143 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_EMULATOR
145 ifeq ($(DEBUG_EMULATOR),0)
146 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_EMULATOR
150 ifeq ($(DEBUG_RAMDISK),1)
151 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_RAMDISK
153 ifeq ($(DEBUG_RAMDISK),0)
154 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_RAMDISK
158 ifeq ($(TRACE_RAMDISK),1)
159 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DTRACE_RAMDISK
161 ifeq ($(TRACE_RAMDSK),0)
162 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UTRACE_RAMDISK
166 ifeq ($(DEBUG_XED),1)
167 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_XED
169 ifeq ($(DEBUG_XED),0)
170 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_XED
174 ifeq ($(DEBUG_HALT),1)
175 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_HALT
177 ifeq ($(DEBUG_HALT),0)
178 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_HALT
182 ifeq ($(DEBUG_APIC),1)
183 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_APIC
185 ifeq ($(DEBUG_APIC),0)
186 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_APIC
190 ifeq ($(DEBUG_PCI),1)
191 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_PCI
193 ifeq ($(DEBUG_PCI),0)
194 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_PCI
198 ifeq ($(DEBUG_DEV_MGR),1)
199 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_DEV_MGR
201 ifeq ($(DEBUG_DEV_MGR),0)
202 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_DEV_MGR
206 #DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DTEST_NE2K
209 JRLDEBUG= -DVMM_DEBUG -DVMM_INFO -DVMM_TRACE $(DEBUG_SECTIONS)
220 # This is wrong for current cygwin - no changes needed
222 # Figure out if we're compiling with cygwin, http://cygwin.com
225 #SYSTEM_NAME := $(shell uname -s)
226 #ifeq ($(findstring CYGWIN,$(SYSTEM_NAME)),CYGWIN)
228 #EXTRA_C_OPTS := -DNEED_UNDERSCORE -DGNU_WIN32
229 #EXTRA_NASM_OPTS := -DNEED_UNDERSCORE
230 #NON_ELF_SYSTEM := yes
231 #EXTRA_CC_USER_OPTS := -Dmain=geekos_main
236 ifeq ($(INSTRUMENT_VMM),1)
237 EXTRA_C_OPTS:= -DINSTRUMENT_VMM
238 INSTRUMENT_OPT := -finstrument-functions
239 OBJ_FILES := palacios/vmm_instrument.o
246 # ----------------------------------------------------------------------
248 # Various options specifying how GeekOS should be built,
249 # what source files to build, which user programs to build,
250 # etc. This is generally the only section of the makefile
251 # that will need to be modified.
252 # ----------------------------------------------------------------------
254 # List of targets to build by default.
255 # These targets encompass everything needed to boot
257 ALL_TARGETS := vmm force_payload
261 palacios/vm_guest.o \
263 palacios/svm_handler.o \
265 palacios/vmm_util.o \
266 palacios/vmm_ctrl_regs.o \
269 palacios/vmm_paging.o \
271 palacios/vmm_debug.o \
273 palacios/vmm_intr.o \
274 palacios/vmm_time.o \
275 palacios/vmm_shadow_paging.o \
276 palacios/vm_guest_mem.o \
278 palacios/vmm_dev_mgr.o \
279 palacios/vmm_decoder.o \
280 palacios/svm_halt.o \
281 palacios/svm_pause.o \
282 palacios/svm_wbinvd.o \
283 palacios/vmm_config.o \
284 palacios/vmm_hashtable.o \
285 palacios/vmm_string.o \
286 palacios/vmm_emulator.o \
287 palacios/vmm_queue.o \
288 palacios/vmm_host_events.o \
289 palacios/svm_lowlevel.o \
292 palacios/vmm_socket.o \
294 palacios/vmm_rbtree.o \
295 palacios/vmm_profiler.o \
296 palacios/vmm_direct_paging.o \
297 palacios/vmm_ringbuffer.o \
298 palacios/vmm_hypercall.o \
301 # vmx.c vmcs_gen.c vmcs.c
303 # Extra C flags for the VMM objects
304 $(VMM_OBJS) :: EXTRA_CFLAGS = \
310 xed/v3-xed-compat.o \
311 xed/v3-udiv-compat.o \
313 $(XED_OBJS) :: EXTRA_CFLAGS = \
321 devices/simple_pic.o \
327 devices/bochs_debug.o \
336 $(DEVICES_OBJS) :: EXTRA_CFLAGS = \
341 # ----------------------------------------------------------------------
343 # This section defines programs that are used to build GeekOS.
344 # ----------------------------------------------------------------------
347 V3_ARCH := __V3_64BIT__
349 V3_ARCH := __V3_32BIT__
354 EXTRA_C_OPTS := $(EXTRA_C_OPTS) -DCRAY_XT
358 # Uncomment if cross compiling
359 #TARGET_CC_PREFIX := $(PROJECT_ROOT)/../devtools/i386/bin/i386-elf-
360 #TARGET_CC_PREFIX := i386-elf-
362 # Target C compiler. gcc 2.95.2 or later should work.
364 TARGET_CC := $(TARGET_CC_PREFIX)gcc -m64
366 TARGET_CC := $(TARGET_CC_PREFIX)gcc -m32
368 #TARGET_CC := $(TARGET_CC_PREFIX)gcc34 -m32
371 # Target linker. GNU ld is probably to only one that will work.
372 TARGET_LD := $(TARGET_CC_PREFIX)ld -melf_i386
375 TARGET_AR := $(TARGET_CC_PREFIX)ar
378 TARGET_RANLIB := $(TARGET_CC_PREFIX)ranlib
381 TARGET_NM := $(TARGET_CC_PREFIX)nm
384 TARGET_OBJCOPY := $(TARGET_CC_PREFIX)objcopy
386 # Nasm (http://nasm.sourceforge.net)
387 NASM := $(PROJECT_ROOT)/../devtools/bin/nasm
388 #NASM := /opt/vmm-tools/bin/nasm
400 # Tool to build PFAT filesystem images.
401 BUILDFAT := tools/builtFat.exe
406 # Pad a file so its size is a multiple of some unit (i.e., sector size)
407 PAD := $(PERL) $(PROJECT_ROOT)/scripts/pad
409 # Create a file filled with zeroes.
410 ZEROFILE := $(PERL) $(PROJECT_ROOT)/scripts/zerofile
412 # Calculate size of file in sectors
413 NUMSECS := $(PERL) $(PROJECT_ROOT)/scripts/numsecs
416 FD_SECTORS_PER_TRACK := $(PERL) $(PROJECT_ROOT)/scripts/numsecs_per_track
419 # ----------------------------------------------------------------------
421 # Options passed to the tools.
422 # ----------------------------------------------------------------------
424 # Flags used for all C source files
434 -I$(PROJECT_ROOT)/include \
438 -Wp,-MD,$(@D)/.$(@F).d \
445 # Flags passed to objcopy program (strip unnecessary sections from kernel.exe)
446 OBJCOPY_FLAGS := -R .dynamic -R .note -R .comment
448 # ----------------------------------------------------------------------
450 # Describes how to compile the source files.
451 # ----------------------------------------------------------------------
453 # Compilation of kernel C source files
455 # $(call build,TAG,commandline)
457 # If V=1 on the command line or the environment, then the actual
458 # command executed will be echoed to the terminal. Otherwise
459 # only the tag and the output file will be printed to make
460 # any warnings stand out from the compile messages.
463 @if [ -z "$V" ]; then \
474 $(call build,CC,$(TARGET_CC) \
484 $(call build,AS,$(TARGET_CC) \
502 # ----------------------------------------------------------------------
504 # Specifies files to be built
505 # ----------------------------------------------------------------------
507 # Default target - see definition of ALL_TARGETS in Configuration section
511 #geekos/vmx_lowlevel.o: $(PROJECT_ROOT)/src/geekos/vmx_lowlevel.asm
514 # -I$(PROJECT_ROOT)/src/geekos/ \
515 # $(PROJECT_ROOT)/src/geekos/vmx_lowlevel.asm \
519 #geekos/test: geekos/test.o geekos/vmcs.o geekos/vmx_lowlevel.o
520 # $(CC) geekos/test.o geekos/vmcs.o geekos/vmx_lowlevel.o -o geekos/test
525 ln -s -f ../src/vmboot/rombios/BIOS-bochs-latest rombios
528 ln -s -f ../src/vmboot/vgabios/VGABIOS-lgpl-latest.bin vgabios
531 force_rombios: rombios_link
532 (cd ../src/vmboot/rombios; make clean; make)
534 force_vgabios: vgabios_link
535 (cd ../src/vmboot/vgabios; make clean; make)
537 force_payload: force_rombios force_vgabios
538 ../scripts/make_payload.pl payload_layout.txt vm_kernel
540 inter1: force_payload
545 vmm: palacios/vmm.lib
550 # Loadable (flat) kernel image.
551 palacios/vmm.bin : palacios/vmm.lib
552 $(TARGET_OBJCOPY) $(OBJCOPY_FLAGS) -S -O binary palacios/vmm.lib palacios/vmm.bin
555 # The kernel executable and symbol map.
556 palacios/vmm.lib: libv3vee.a
562 $(call build,AR,$(TARGET_AR) rcs $@ $^)
570 # Clean build directories of generated files
572 for d in palacios devices xed; do \
573 (cd $$d && rm -f * .*.d); \
577 # Include all of the generated dependency files if they exist