From f882ffb2aa2f4e75c31d7cd735625c5847f642e0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Thu, 21 May 2015 19:16:07 +0200 Subject: Document conf.py and remove spare variable SRCARCH --- conf.py | 30 +++++++++++++++++++++--------- scripts/confmk.py | 2 +- 2 files changed, 22 insertions(+), 10 deletions(-) diff --git a/conf.py b/conf.py index b4b392a..206f723 100644 --- a/conf.py +++ b/conf.py @@ -5,27 +5,40 @@ import os # This defines environment variable for linux kernel. # Change this to change target architecture ARCH = 'x86' -# SRCARCH -# This defines environment variable for linux kernel. -# You most probably don't want to changing this. -SRCARCH = ARCH +# gen_all_solutions_oninit +# If True, all solutions are generated at initalization. +# If False, every loop is generated one solution. gen_all_solution_oninit = True # If True, all solutions are generated at initialization. -kernel_env = {'SRCARCH': SRCARCH, 'ARCH': ARCH, 'KERNELVERSION': ARCH} +# kernle_env +# Enviroment variables for Linux +kernel_env = {'SRCARCH': ARCH, 'ARCH': ARCH, 'KERNELVERSION': ARCH} # linux_make_args -# These are arguments passed to make when linux is build +# These are arguments passed to make when linux is build. linux_make_args = ['-j8'] +# build_command +# Command executed for kernel build in linux folder. build_command = ['make'] + linux_make_args # novaboot_args -# These are arguments passed to novaboot, +# These are arguments passed to Novaboot, # but only if you don't remove it from boot_command. novaboot_args = ['--qemu=qemu-system-x86_64'] +# nbscript +# This variable is path to Novaboot script. nbscript = 'scripts/nbscript' +# boot_command +# Command executed for booting. Output of this command is saved to output folder. boot_command = ['scripts/novaboot/novaboot', nbscript] + novaboot_args +# picosat_args +# Arguments passed to PicoSAT. picosat_args = [] + ## Programs output show/hide +# These options hides output of launched programs from terminal. +# If variable is True, output is printed. Otherwise is hidden. +# What ever are these settings, output is always written to files in folder log. parse_kconfig_output = False picosat_output = False kernel_config_output = True @@ -36,7 +49,7 @@ boot_output = True step_by_step = False # Executes only single step and exits. single_loop = False # Executes only one loop and exits. only_config = False # Executes only to configuration phase. Building and booting phases are skipped. -ignore_misconfig = False +ignore_misconfig = False # Ignore if configuration wasn't applied correctly. ####################################### # Most probably you don't want touch rest of these. ## Path settings @@ -73,7 +86,6 @@ output_folder = 'output/' result_folder = 'result/' log_folder = 'log/' - ## Programs paths parse_kconfig = 'scripts/parse_kconfig/parse' write_config = 'scripts/write_config/write' diff --git a/scripts/confmk.py b/scripts/confmk.py index c688ed9..974178c 100755 --- a/scripts/confmk.py +++ b/scripts/confmk.py @@ -11,7 +11,7 @@ def gen_confmk(): with open(conf.dot_confmk, 'w') as f: f.write("# This file is generated. Please don't edit this file.\n") - f.write("ARCH := " + conf.SRCARCH + "\n") + f.write("ARCH := " + conf.ARCH + "\n") f.write("\n") f.write("BUILDROOT_INITRAM := " + conf.buildroot_initram + "\n") f.write("BUILDROOT_INITTAB_DIRECTIVE := " + conf.buildroot_inittab_directive + "\n") -- cgit v1.2.3