]> rtime.felk.cvut.cz Git - l4.git/blob - l4/conf/Makeconf.boot.example
Update
[l4.git] / l4 / conf / Makeconf.boot.example
1 # This file is an example for defining configurations for different boot
2 # methods:
3 #   - QEMU (qemu)
4 #   - Fiasco-UX (ux)
5 #   - Image mode (image)
6 #   - ISO images (grub1iso, grub2iso)
7 #   - VirtualBox
8 #   - Fastboot
9 #
10 # This is a make snippet.
11 #
12 # Copy this example file to Makeconf.boot in the same directory.
13 #
14 # #
15 # Generic options:
16 #
17 # Search path for modules, such as binaries, libraries, kernel, configuration
18 # files or any other data file you might want to load. Note that the bin and
19 # lib directories of the build-tree are automatically added to the search
20 # path.
21 # MODULE_SEARCH_PATH = /path/to/cfgs:/path/to/foo:..
22 #
23 # For additional image buliding options see the header of
24 # pkg/bootstrap/server/src/Make.rules
25 #
26 #
27 # QEMU: Specific configuration for 'qemu' target (make qemu E=xxx'):
28 #
29 # Add fiasco build directory to MODULE_SEARCH_PATH
30
31 qemu: MODULE_SEARCH_PATH += /path/to/fiasco-build
32
33 # Optional options for QEMU, but setting '-serial stdio' is recommended
34 QEMU_OPTIONS       ?= -serial stdio
35 #QEMU_OPTIONS      ?= -nographic
36
37 QEMU_OPTIONS-arm-rv              += -M realview-eb -m 256 
38 #QEMU_OPTIONS-arm-rv              += -cpu arm926
39 QEMU_OPTIONS-arm-rv              += -cpu arm1176
40 #QEMU_OPTIONS-arm-rv              += -cpu cortex-a8
41 #QEMU_OPTIONS-arm-rv              += -cpu cortex-a9
42 QEMU_OPTIONS-arm-integrator      += -M integratorcp -m 256
43 #QEMU_OPTIONS-arm-integrator      += -cpu arm1176
44 QEMU_OPTIONS-arm-rv_vexpress     += -M vexpress-a9 -m 1024 -cpu cortex-a9 -smp 4
45 QEMU_OPTIONS-arm-rv_vexpress_a15 += -M vexpress-a15 -m 2047 -cpu cortex-a15 \
46                                     -smp 4
47 QEMU_OPTIONS-arm-rv_pbx          += realview-pbx-a9 -m 512 -cpu cortex-a9 -smp 4
48
49 QEMU_OPTIONS-arm  += $(QEMU_OPTIONS-arm-$(PLATFORM_TYPE))
50 QEMU_OPTIONS      += $(QEMU_OPTIONS-$(ARCH))
51
52 # The path to the QEMU binary - optional
53 #QEMU_PATH-x86   = /path/to/qemu
54 #QEMU_PATH-amd64 = /path/to/qemu-system-x86_64
55 #QEMU_PATH       = $(QEMU_PATH-$(ARCH))
56
57
58 # Fiasco-UX: Specific configuration for 'ux' target ('make ux E=xxx'):
59 #
60 # Add Fiasco-UX build directory to MODULE_SEARCH_PATH
61
62 ux: MODULE_SEARCH_PATH += /path/to/fiasco-ux-build
63
64 # Additional (optional) variables:
65 #  UX_OPTIONS: Options for Fiasco-UX, such as -m
66 #  UX_GFX:     Graphical console resolution and colordepth, e.g.:
67 #              UX_GFX=800x600@16
68 #  UX_GFX_CMD: Path to ux_con binary, default is to search in the
69 #              UX_SEARCH_PATH
70 #  UX_NET:     Enable network if set, e.g.: UX_NET=y
71 #  UX_NET_CMD: Path to ux_net binary, default is to search in the
72 #              UX_SEARCH_PATH 
73
74 UX_OPTIONS     = -m 128
75
76 # Search path for other make targets:
77 # grub1iso grub2iso: MODULE_SEARCH_PATH += /path/to/fiasco-build
78 # %image: MODULE_SEARCH_PATH += /path/to/fiasco-build
79
80 # VirtualBox
81 #
82 # To use VirtualBox create a VM in VirtualBox and set the name of the VM in
83 # 'VBOX_VM'. The 'vbox' target uses an ISO image generating target to generate
84 # an ISO and use that with VirtualBox. 
85 #
86 # Required variables:
87 #  VBOX_VM:        Name of the VM to use.
88 #
89 # Additional (optional) variables:
90 #  VBOX_ISOTARGET: grub1iso or grub2iso (grub2iso is the default)
91 #  VBOX_OPTIONS:   Additional options (see VBoxSDL --help)
92 VBOX_VM                = L4
93 VBOX_ISOTARGET         = grub1iso
94 #VBOX_OPTIONS          += --memory 256
95
96 # Fastboot
97 # FASTBOOT_BOOT_CMD = path/to/fastboot boot