diff --git a/Platforms/PlatformPosix/Source/module.cpp b/Platforms/PlatformPosix/Source/module.cpp
index f1b83b79..3bdd3795 100644
--- a/Platforms/PlatformPosix/Source/module.cpp
+++ b/Platforms/PlatformPosix/Source/module.cpp
@@ -2,9 +2,6 @@
 
 extern "C" {
 
-extern Driver esp32_gpio_driver;
-extern Driver esp32_i2c_driver;
-
 static error_t start() {
     /* NO-OP for now */
     return ERROR_NONE;
diff --git a/Tactility/Include/Tactility/Tactility.h b/Tactility/Include/Tactility/Tactility.h
index 44bfd720..612694d2 100644
--- a/Tactility/Include/Tactility/Tactility.h
+++ b/Tactility/Include/Tactility/Tactility.h
@@ -18,7 +18,10 @@ struct Configuration {
 };
 
 /**
- * Attempts to initialize Tactility and all configured hardware.
+ * @brief Main entry point for Tactility.
+ * @param platformModule Platform module to start (non-null).
+ * @param deviceModule Device module to start (non-null).
+ * @param devicetreeDevices Null-terminated array where an entry { NULL, NULL } marks the end of the list.
  */
 void run(const Configuration& config, Module* platformModule, Module* deviceModule, CompatibleDevice devicetreeDevices[]);
 
diff --git a/TactilityKernel/Include/tactility/driver.h b/TactilityKernel/Include/tactility/driver.h
index 4b52f9a3..fe316e45 100644
--- a/TactilityKernel/Include/tactility/driver.h
+++ b/TactilityKernel/Include/tactility/driver.h
@@ -11,6 +11,7 @@ extern "C" {
 
 struct Device;
 struct DeviceType;
+struct Module;
 
 struct Driver {
     /** The driver name */
diff --git a/TactilityKernel/Include/tactility/kernel_init.h b/TactilityKernel/Include/tactility/kernel_init.h
index 421761a6..8f6ad705 100644
--- a/TactilityKernel/Include/tactility/kernel_init.h
+++ b/TactilityKernel/Include/tactility/kernel_init.h
@@ -12,7 +12,7 @@ extern "C" {
  * Initialize the kernel with platform and device modules, and a device tree.
  * @param platform_module The platform module to start. This module should not be constructed yet.
  * @param device_module The device module to start. This module should not be constructed yet.
- * @param devicetree_devices The list of generated devices from the devicetree.
+ * @param devicetree_devices The list of generated devices from the devicetree. The array must be terminated by an entry { NULL, NULL }
  * @return ERROR_NONE on success, otherwise an error code
  */
 error_t kernel_init(struct Module* platform_module, struct Module* device_module, struct CompatibleDevice devicetree_devices[]);