conf.py

   1 import os
   2
   3 ## Global configs
   4 # ARCH
   5 # This defines environment variable for linux kernel.
   6 # Change this to change target architecture
   7 ARCH = 'x86'
   8 # SRCARCH
   9 # This defines environment variable for linux kernel.
  10 # You most probably don't want to changing this.
  11 SRCARCH = ARCH
  12 gen_all_solution_oninit = True # If True, all solutions are generated at initialization.
  13
  14 kernel_env = {'SRCARCH': SRCARCH, 'ARCH': ARCH, 'KERNELVERSION': ARCH}
  15 # linux_make_args
  16 # These are arguments passed to make when linux is build
  17 linux_make_args = ['-j8']
  18 build_command = ['make'] + linux_make_args
  19
  20 # novaboot_args
  21 # These are arguments passed to novaboot,
  22 # but only if you don't remove it from boot_command.
  23 novaboot_args = ['--qemu=qemu-system-x86_64']
  24 nbscript = 'scripts/nbscript'
  25 boot_command = ['scripts/novaboot/novaboot', nbscript] + novaboot_args
  26
  27 picosat_args = []
  28 ## Programs output show/hide
  29 parse_kconfig_output = False
  30 picosat_output = False
  31 kernel_config_output = True
  32 kernel_make_output = True
  33 boot_output = True
  34
  35 ## Configs for debugging
  36 step_by_step = False # Executes only single step and exits.
  37 single_loop = False # Executes only one loop and exits.
  38 only_config = False # Executes only to configuration phase. Building and booting phases are skipped.
  39 ignore_misconfig = False
  40 #######################################
  41 # Most probably you don't want touch rest of these.
  42 ## Path settings
  43 dot_confmk = '.conf.mk'
  44 dot_config = 'dot_config'
  45
  46 linux_sources = 'linux/'
  47 linux_kconfig_head = linux_sources + 'Kconfig'
  48 linux_dot_config = linux_sources + '.config'
  49 linux_image = linux_sources + 'arch/' + ARCH + '/boot/bzImage'
  50
  51 buildroot_def_config = 'buildroot_recipe/buildroot.def.config'
  52 buildroot_inittab_directive = 'buildroot_recipe/inittab_directive'
  53 buildroot_initscript = 'scripts/buildroot_recipe/linux-conf-perf'
  54 buildroot_initram = 'buildroot/output/images/rootfs.cpio.gz'
  55
  56 build_folder = 'jobfiles/'
  57 phase_file = build_folder + 'phase'
  58 symbol_map_file = build_folder + 'symbol_map' # Also defined in parse_kconfig
  59 rules_file = build_folder + 'rules' # Also defined in parse_kconfig
  60 variable_count_file = build_folder + 'variable_count' # Also defined in parse_kconfig
  61 config_map_file = build_folder + 'config_map'
  62 config_solved_file = build_folder + 'config_solved'
  63 solved_file = build_folder + 'solved'
  64 required_file = build_folder + 'required'
  65 dot_config_fragment_file = build_folder + 'dot_config_fragment'
  66 dot_config_back_file = build_folder + 'dot_config_back'
  67 solution_file = build_folder + 'solution'
  68 iteration_file = build_folder + 'iteration'
  69 output_confs = build_folder + 'output_confs'
  70
  71 output_folder = 'output/'
  72 log_folder = 'log/'
  73
  74
  75 ## Programs paths
  76 parse_kconfig = 'scripts/parse_kconfig/parse'
  77 write_config = 'scripts/write_config/write'
  78 picosat = 'scripts/picosat-959/picosat'
  79
  80
  81 absroot = os.path.dirname(os.path.realpath(__file__))