conf.py

   1 import os
   2
   3 # Global configs
   4 SRCARCH = 'x86' # Kernel architecture
   5 ARCH = SRCARCH
   6 linux_make_args = ['-j8']
   7 novaboot_args = ['--qemu=qemu-system-x86_64']
   8
   9 picosat_args = []
  10 # Programs output show/hide
  11 parse_kconfig_output = False
  12 minisat_output = False
  13 kernel_config_output = True
  14 kernel_make_output = True
  15 boot_output = True
  16
  17 step_by_step = False # Executes only single step and exits.
  18 single_loop = False # Executes only one loop and exits.
  19 only_config = True # Executes only to configuration phase. Building and booting phases are skipped.
  20 ignore_misconfig = False
  21 #######################################
  22 # Path settings
  23 dot_confmk = '.conf.mk'
  24 benchmark_python = 'benchmark.py'
  25
  26 linux_sources = 'linux/'
  27 linux_kconfig_head = linux_sources + 'Kconfig'
  28 linux_dot_config = linux_sources + '.config'
  29 linux_image = linux_sources + 'arch/' + ARCH + '/boot/bzImage'
  30
  31 build_folder = 'build/'
  32 phase_file = build_folder + 'phase'
  33 symbol_map_file = build_folder + 'symbol_map' # Also defined in parse_kconfig
  34 rules_file = build_folder + 'rules' # Also defined in parse_kconfig
  35 variable_count_file = build_folder + 'variable_count' # Also defined in parse_kconfig
  36 solved_file = build_folder + 'solved'
  37 required_file = build_folder + 'required'
  38 dot_config_fragment_file = build_folder + 'dot_config_fragment'
  39 dot_config_back_file = build_folder + 'dot_config_back'
  40 solution_file = build_folder + 'solution'
  41 iteration_file = build_folder + 'iteration'
  42 output_confs = build_folder + 'output_confs'
  43
  44 output_folder = build_folder + 'output/'
  45
  46 buildroot_def_config = 'scripts/buildroot_recipe/buildroot.def.config'
  47 buildroot_inittab_directive = 'scripts/buildroot_recipe/inittab_directive'
  48 buildroot_initscript = 'scripts/buildroot_recipe/linux-conf-perf'
  49 buildroot_initram = 'scripts/buildroot/output/images/rootfs.cpio.gz'
  50 initram = build_folder + 'initram.gz'
  51
  52 nbscript = 'scripts/nbscript'
  53
  54 # Programs paths
  55 parse_kconfig = 'scripts/parse_kconfig/parse'
  56 write_config = 'scripts/write_config/write'
  57 novaboot = 'scripts/novaboot/novaboot'
  58 picosat = 'scripts/picosat-959/picosat'
  59
  60
  61 absroot = os.path.dirname(os.path.realpath(__file__))