Merge branch 'nix'

Refers to #27

.gitignore

+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+pip-wheel-metadata/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+#  Usually these files are written by a python script from a template
+#  before PyInstaller builds the exe, so as to inject date/other infos into it.
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py,cover
+.hypothesis/
+.pytest_cache/
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+local_settings.py
+db.sqlite3
+db.sqlite3-journal
+
+# Flask stuff:
+instance/
+.webassets-cache
+
+# Scrapy stuff:
+.scrapy
+
+# Sphinx documentation
+docs/_build/
+
+# PyBuilder
+target/
+
+# Jupyter Notebook
+.ipynb_checkpoints
+
+# IPython
+profile_default/
+ipython_config.py
+
+# pyenv
+.python-version
+
+# pipenv
+#   According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
+#   However, in case of collaboration, if having platform-specific dependencies or dependencies
+#   having no cross-platform support, pipenv may install dependencies that don't work, or not
+#   install all needed dependencies.
+#Pipfile.lock
+
+# PEP 582; used by e.g. github.com/David-OConnor/pyflow
+__pypackages__/
+
+# Celery stuff
+celerybeat-schedule
+celerybeat.pid
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs documentation
+/site
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+
+# Pyre type checker
+.pyre/
\ No newline at end of file

contrib/get-nix-kconfig.py

+#!/usr/bin/env python
+
+import json
+import os
+import shutil
+import subprocess
+import sys
+from tempfile import TemporaryDirectory
+
+
+def main() -> None:
+    proc = subprocess.run(
+        ["nix", "search", "-u", "--json", "^nixpkgs.linux_"], capture_output=True
+    )
+    data = json.loads(proc.stdout)
+    with TemporaryDirectory() as temp:
+        for pkg in data.keys():
+            symlink = os.path.join(temp, pkg)
+            res = subprocess.run(["nix", "build", f"{pkg}.configfile", "-o", symlink])
+            if res.returncode != 0:
+                print(f"failed to get configuration for {pkg}", file=sys.stderr)
+                continue
+            name = f"{pkg.replace('.', '-')}-config"
+            with open(name, "w") as dst, open(symlink) as src:
+                shutil.copyfileobj(src, dst)
+
+
+if __name__ == "__main__":
+    main()

default.nix

+{ pkgs ? (import <nixpkgs> {}) }:
+with pkgs;
+
+pkgs.python3.pkgs.buildPythonPackage {
+  name = "kconfig-hardend-check";
+  src = ./.;
+  SOURCE_DATE_EPOCH = "1523278946";
+}