PR feedback

This commit is contained in:
Ken Van Hoeylandt 2026-01-30 23:40:42 +01:00
parent 251fb1865b
commit 7e0bd90e73
4 changed files with 6 additions and 5 deletions

View File

@ -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;

View File

@ -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[]);

View File

@ -11,6 +11,7 @@ extern "C" {
struct Device;
struct DeviceType;
struct Module;
struct Driver {
/** The driver name */

View File

@ -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[]);