dan 45d52a6c99 tidy kconfig a bit

2022-10-16 15:31:10 +01:00

..

default.nix

tidy kconfig a bit

2022-10-16 15:31:10 +01:00