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 #
   9 # This is a make snippet.
  10 #
  11 # Copy this example file to Makeconf.boot in the same directory.
  12 #
  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 # MODULES_SEARCH_PATH = /path/to/cfgs:/path/to/foo:..
  22 #
  23 #
  24 #
  25 # QEMU: Specific configuration for 'qemu' target (make qemu E=xxx'):
  26 #
  27 # Add fiasco build directory to MODULE_SEARCH_PATH
  28
  29 qemu: MODULE_SEARCH_PATH += /path/to/fiasco-build
  30
  31 # Optional options for QEMU, but setting '-serial stdio' is recommended
  32 QEMU_OPTIONS       = -serial stdio
  33 #QEMU_OPTIONS      = -nographic
  34 #QEMU_OPTIONS-arm += -M realview-eb -m 256
  35 QEMU_OPTIONS      += $(QEMU_OPTIONS-$(ARCH))
  36
  37 # The path to the QEMU binary - optional
  38 #QEMU_PATH-x86   = /path/to/qemu
  39 #QEMU_PATH-amd64 = /path/to/qemu-system-x86_64
  40 #QEMU_PATH       = $(QEMU_PATH-$(ARCH))
  41
  42
  43 # Fiasco-UX: Specific configuration for 'ux' target ('make ux E=xxx'):
  44 #
  45 # Add Fiasco-UX build directory to MODULE_SEARCH_PATH
  46
  47 ux: MODULE_SEARCH_PATH += /path/to/fiasco-ux-build
  48
  49 # Additional (optional) variables:
  50 #  UX_OPTIONS: Options for Fiasco-UX, such as -m
  51 #  UX_GFX:     Graphical console resolution and colordepth, e.g.:
  52 #              UX_GFX=800x600@16
  53 #  UX_GFX_CMD: Path to ux_con binary, default is to search in the
  54 #              UX_SEARCH_PATH
  55 #  UX_NET:     Enable network if set, e.g.: UX_NET=y
  56 #  UX_NET_CMD: Path to ux_net binary, default is to search in the
  57 #              UX_SEARCH_PATH
  58
  59 UX_OPTIONS     = -m 128
  60
  61 # Search path for other make targets:
  62 # grub1iso grub2iso: MODULE_SEARCH_PATH += /path/to/fiasco-build
  63 # image: MODULE_SEARCH_PATH += /path/to/fiasco-build
  64
  65 # VirtualBox
  66 #
  67 # To use VirtualBox create a VM in VirtualBox and set the name of the VM in
  68 # 'VBOX_VM'. The 'vbox' target uses an ISO image generating target to generate
  69 # an ISO and use that with VirtualBox.
  70 #
  71 # Required variables:
  72 #  VBOX_VM:        Name of the VM to use.
  73 #
  74 # Additional (optional) variables:
  75 #  VBOX_ISOTARGET: grub1iso or grub2iso (grub2iso is the default)
  76 #  VBOX_OPTIONS:   Additional options (see VBoxSDL --help)
  77 VBOX_VM                = L4
  78 VBOX_ISOTARGET         = grub1iso
  79 #VBOX_OPTIONS          += --memory 256