Robert Schmidt 32d9e75dc5 Remove --nokrnmod option, as we never use the kernel anyway

2024-08-01 18:22:46 +02:00

..

config

Remove --nokrnmod option, as we never use the kernel anyway

2024-08-01 18:22:46 +02:00

config.md

update documentation and improve help text display

2019-01-22 22:43:33 +01:00