Adrian Danis 4b8a3e24d2 config: Reset options to default when enabled ... This change makes values take on more intuitive and expected defaults when gradually configuring the kernel, either programatically or through the graphic interfaces		2018-02-07 11:49:28 +11:00
..
python-deps	Add missing license to tools/python-deps/README.rst	2017-08-28 17:10:51 +10:00
bf.vim	tools: fix licenses	2017-06-22 15:27:30 +10:00
bitfield_gen.py	Improve generated bitfield proofs	2017-12-21 18:01:55 +11:00
changed.sh	tools: fix licenses	2017-06-22 15:27:30 +10:00
circular_includes.py	tools: fix licenses	2017-06-22 15:27:30 +10:00
cpp_gen.sh	tools: fix licenses	2017-06-22 15:27:30 +10:00
flags.cmake	Add a CMake based build system	2017-08-22 13:56:26 +10:00
helpers.cmake	config: Reset options to default when enabled	2018-02-07 11:49:28 +11:00
internal.cmake	Add a CMake based build system	2017-08-22 13:56:26 +10:00
invocation_header_gen.py	tools: fix licenses	2017-06-22 15:27:30 +10:00
lex.py	Python3 compatibility in scripts	2017-06-05 14:07:20 +10:00
pylintrc	tools: fix licenses	2017-06-22 15:27:30 +10:00
syscall_header_gen.py	tools: fix licenses	2017-06-22 15:27:30 +10:00
umm.py	tools: fix licenses	2017-06-22 15:27:30 +10:00
xmllint.sh	tools: fix licenses	2017-06-22 15:27:30 +10:00