Kernel modules

The kernel can be compiled with additional modules. If you want to use such a module, add in the .oil file in the corresponding sections:

CPU your_app {
  OS config {
    ...
    KERNEL_MODULE = the_module;
  };
};

Defining modules

If you want to define new modules, you need to add them in goil/templates/config/kernel.oil

KERNEL your_module {
  PATH = "path/to/your/module"
  FILE = "your_module.c";
  FILE = "additional_file.c";
};