os: rework kernel architecture

Rework the code structure and architecture of the kernel by separating
platform-dependent and platform-independent code more cleanly. As of
this patchset, full feature parity has not been achieved. Nonetheless, a
sufficient subset of functionality has been ported to the new
architecture to demonstrate the feasibility of the new structure.

1 files changed, 4 insertions, 4 deletions

diff --git a/docs/conf.py b/docs/conf.py
index 90ed3dc..b8cfe69 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -13,16 +13,16 @@ author = "Felix Morgner"
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration
 
-extensions = ["breathe"]
+#extensions = ["breathe"]
 
 templates_path = ["_templates"]
-exclude_patterns = []
+exclude_patterns = ["pre/**"]
 
 # -- Options Breathe ---------------------------------------------------------
 # https://breathe.readthedocs.io/en/stable/directives.html#config-values
 
-breathe_projects = {"kernel": "../build/doxygen/xml"}
-breathe_default_project = "kernel"
+#breathe_projects = {"kernel": "../build/doxygen/xml"}
+#breathe_default_project = "kernel"
 
 # -- Options for HTML output -------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output