Final eval script for RTLWS slides

kconfig2sat: More work

kconfig2sat: More work

kconfig2sat: Prepare for DIMACS CNF generation

Remove invalid entries from measured (variable) symbols

These were detected by kconfig2sat (previous commit).

kconfig2sat: Implement reading (and checking) of variable symbols

kconfig2sat: More features

Add skeleton for kconfig2sat tool

Add Kconfig files from Linux v4.2

Reimplement gen_fixed and call it directly from Makefile

Make a list of measured options explicit

Add TODO

Decrease verbosity of parse_kconfig

Move parse_kconfig invocation from .py to Makefile

It's more understandable.

Move directory creation from .py to Makefile

It is much simpler there.

Print executed commands

Add missing chdir()

Simplify execution of allconfig

The same will be done for other Kconfig-based tools

Simplify toplevel Makefile

bbb/linux: Disable some .config options

... to compile it faster.

bbb: Disable modules

The original .config was taken from OSADL QA farm.

More Emacs config

database: Use unix socket to avoid the need for db login credentials

Add Emacs configuration

Select different BeagleBone target

...and boot quietly - it is faster.

Build kernel on all available CPUs

Print kernel build command

Makefile: Add missing dependencies for configuration

Makefile: Only rebuild ramdisk if it doesn't exist or config changes

Makefile: Remove check whether Buildroot is up-to-date

It is always false.

Makefile: Do not ignore errors in configuration

Simplify conf.py

Fix toplevel Makefile

Update evaluation script

Update Makefile for C++

This is forgotten commit from yesterday.

kconfig2dot: Eliminate parallel edges between common expressions

kconfig2dot: Convert to C++

kconfig2dot: Minor changes

Update evaluation script

kconfig2dot: Few fixes + added TODO (rev_dep)

Add kconfig2dot tool

Simplify parse.c

Simplify Makefile

More meaningful error message

Add database-based evaluation and helper functions

Note: This is only a skeleton - we will need more magic to get meaningful
results.

Add information why option can't be measured

When initialization is executed and measurability checked, only output
was that some configuration option can't be measured. This adds message
about why. (If it can't be selected or otherwise can't be unselected)

Add name of configuration option to generator name for single-sat

When generated with single-sat generator, configuration in database
haven't had information about what configuration option was used as
forced input while generating.

cyclictest: Simplify startup (init) script

Update parse script for cyclictest

Previously, some successfully executed measurements had no value in the
database. Let's use explicit parsing script, which may (or may not) solve
this problem.

buildroot: Declare external sources in a better way

Previously used relative path in .br-external was always rewritten to
an absolute path. This was annoying as git reported that this file was
changed.

Remove false comment

Rewrite root makefile documentation

Add bbb target for BeagleBone Black

Buildroot configuration is now generated from base configuration and
configuration defined by specified target. And initram is now build
automatically for test target and  all target.

Fix commit ad69a1

Execute checkmeasure only once

Fix bug described in commit 5ef685

Ignore decode error from subprocess

Potential fix of wrong input data format exception

Disable multithreading for ryuglab target

Multithreading is problematic and needs fixing. So again it is disabled
for measuring purposes.

Fix list of fixed configurations for ryuglab target

In list of fixed configuration options was option PREEMPT_RT_FULL
listed with CONFIG_ prefix.

Clean repository

Remove some unused files.

Move buildroot submodule to script folder

Novaboot, picosat,... are in script directory. Only buildroot was in
root directory.

Fix target/ryuglab/linux submodule

We expect to use realtime branch, but master was committed to git.

Add scripts buildcnf

This script is for debugging purposes only. It should be launched only
in jobfiles folder and it's generating file cnf.

Update submodule target/ryuglab/linux

New commit contains new configuration, that will be used for measuring
kernel folder configuration options.

Add measurable check while initialization

Some configurations options can't be measured. While initialization are
detected and warning is printed.

Fix parse_kconfig symbol default

Generated rules for symbols default values was used without information
about their order. Kconfig documentation specifies that only first
valid default value specification should be used.

Remove image after measurement

Image should be removed after it was measured. Otherwise Linux images
are piling up in jobfolder.

Enable multithreading for ryuglab target

Fix multithreading

When multithreading was enabled, same configuration could been build
multiple times. Adding list of built configurations and filtering list
of configurations sourced from database solves this problem. Now script
is aware of configurations that was prepared and not yet been measured.

Export int values to conf.mk

Generated configuration file for makefile did not contain int values.
But they were used. This is new feature but also fix.

Add makefile target psql

This new target allows direct access to database wit parameters set in
conf.py and conf.py of selected target. This is simple fast access to
database.

Change boot to execute only one scripts

Boot is now executing only lcpinit script. /init scripts is not used
during measurements. Booting without boot script, only using novaboot
scripts, results in using /init script. This helps to access cli in
booted machine without editing any files.

Fix empty temporally file for config generation

Generated temporally configuration file was read.

Fix parse_kconfig choice parsing

Parsing choices was implemented wrong. For non-optional choice output
rules must contain also dependency of all choice symbols. Because if no
choice symbol has fulfilled dependencies, than choice shouldn't be
selected.

Fix fromfolder script

Script ended with exception when no file with list of non-remove
configuration options was provided.

Reimplement fromfolder script

Removing configuration options from configuration file according to
definition folder. New implementation allows to specify required
configuration options that shouldn't be removed in any case.

Ryuglab target update linux

Setup Linux of ryuglab to realtime branch.

Fix terminate variable for single thread mode

Latest changes for multithreading broke single thread mode.

Disable multithread for ryuglab target

Multithreading is not working properly yet. So it won't be used for
active measuring.

Use event for thread synchronization in multithread mode

Fix thread alive check

Add print to signal thread start and stop in multithread mode

Fix multithread locking and terminating

Fix configuration generation

Fix multithreading

Fix random configuration generator

Picosat is as default using 0 as seed for random generator. This lead
on same configuration every time.

Add dependency to .conf.mk on .target in Makefile

If .target file is changed (=target changed), makefile configuration
should been regenerated.

Fix wrong function call in configurations script

Add boot timeout

Boot process should timeout after selected number of seconds if no
output is generated. This allows resolving some problems with possible
boot stuck.

Fix wrong input type to compare_text in register_conf

Fix missing utils include in loop.py

Update ryuglab target linux

Remove linux module

This modules is no longer used. It is expected that every target will
have it's own linux target.

Change makefile linux paths to configured Linux source path

Also remove unused buildroot targets

Remove unused conf variables

Some variables were no longer used or with current settup system made
no sence.

Move boot and remove compile script

Compile script is not required if we use GNUmakefile.
Holding script folder only because of boot script makes no sense.

Update linux for ryuglab target

Fix build command for ryuglab target

Fix missing include in test script