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 #
   8 # This is a make snippet.
   9 #
  10 # Copy this example file to Makeconf.boot in the same directory.
  11 #
  12 #
  13 #
  14 # Generic options:
  15 #
  16 # Search path for modules, such as binaries, libraries, kernel, configuration
  17 # files or any other data file you might want to load. Note that the bin and
  18 # lib directories of the build-tree are automatically added to the search
  19 # path.
  20 # MODULES_SEARCH_PATH = /path/to/cfgs:/path/to/foo:..
  21 #
  22 #
  23 #
  24 # QEMU: Specific configuration for 'qemu' target (make qemu E=xxx'):
  25 #
  26 # Add fiasco build directory to MODULE_SEARCH_PATH
  27
  28 qemu: MODULE_SEARCH_PATH += /path/to/fiasco-build
  29
  30 # Optional options for QEMU, but setting '-serial stdio' is recommended
  31 #QEMU_OPTIONS     = -serial stdio -nographic ...
  32
  33 # The path to the QEMU binary - optional
  34 #QEMU_PATH-x86   = /path/to/qemu
  35 #QEMU_PATH-amd64 = /path/to/qemu-system-x86_64
  36 #QEMU_PATH       = $(QEMU_PATH-$(ARCH))
  37
  38
  39 # Fiasco-UX: Specific configuration for 'ux' target ('make ux E=xxx'):
  40 #
  41 # Add Fiasco-UX build directory to MODULE_SEARCH_PATH
  42
  43 ux: MODULE_SEARCH_PATH += /path/to/fiasco-ux-build
  44
  45 # Additional (optional) variables:
  46 #  UX_OPTIONS: Options for Fiasco-UX, such as -m
  47 #  UX_GFX:     Graphical console resolution and colordepth, e.g.:
  48 #              UX_GFX=800x600@16
  49 #  UX_GFX_CMD: Path to ux_con binary, default is to search in the
  50 #              UX_SEARCH_PATH
  51 #  UX_NET:     Enable network if set, e.g.: UX_NET=y
  52 #  UX_NET_CMD: Path to ux_net binary, default is to search in the
  53 #              UX_SEARCH_PATH
  54
  55 UX_OPTIONS     = -m 128
  56
  57 # Search path for other make targets:
  58 # grub1iso grub2iso: MODULE_SEARCH_PATH += /path/to/fiasco-build
  59 # image: MODULE_SEARCH_PATH += /path/to/fiasco-build