| Name | Description |
|---|---|
| KernelModule | Module for configuring the kernel specific components. |
| KernelModuleProvider | Provider of the module for configuring the kernel specific components. |
| SarlSpecificationCheckerModule | Module for configuring the SARL specification checker. |
| SarlSpecificationCheckerModuleProvider | Provider of the module for configuring the SARL specification checker. |