Implementing main loop

These new scripts are part of main loop.
kernel is not finished!!

Divides kconfig_parser, sat_solution to better named modules.
Phasing and iteration is implemented for loop watching.

1 files changed, 27 insertions, 0 deletions

diff --git a/scripts/kernel.py b/scripts/kernel.py
new file mode 100644
index 0000000..f50a616
--- /dev/null
+++ b/scripts/kernel.py
@@ -0,0 +1,27 @@
+import os
+import sys
+import subprocess
+
+import utils
+from conf import conf
+
+
+def config():
+	# Executing old linux config
+	env = dict(os.environ)
+	wd = os.getcwd()
+	os.chdir(conf.linux_sources)
+	sprc = subprocess.Popen(['make', 'oldconfig'], env=utils.get_kernel_env())
+	for line in sprc.stdout:
+		if line == "* Restart config...":
+			print("Configuration failed")
+			sprc.kill()
+		else:
+			print(line)
+	os.chdir(wd)
+
+def make():
+	wd = os.getcwd()
+	os.chdir(conf.linux_sources)
+	subprocess.call(['make', '-j8'], env=utils.get_kernel_env())
+	os.chdir(wd)