declare device.flash options in base.nix

because they're specified in devices/*/default.nix
This commit is contained in:
Daniel Barlow 2023-03-02 23:28:39 +00:00
parent 6d191b73ae
commit 0cd1bd99e1
2 changed files with 4 additions and 4 deletions

View file

@ -68,6 +68,10 @@ in {
defaultOutput = mkOption { defaultOutput = mkOption {
type = types.nonEmptyStr; type = types.nonEmptyStr;
}; };
flash = {
address = mkOption { type = types.str; };
size = mkOption { type = types.str; };
};
loadAddress = mkOption { default = null; }; loadAddress = mkOption { default = null; };
entryPoint = mkOption { }; entryPoint = mkOption { };
radios = mkOption { radios = mkOption {

View file

@ -9,10 +9,6 @@ let
inherit (config.boot) tftp; inherit (config.boot) tftp;
in { in {
options = { options = {
device.flash = {
address = mkOption { type = types.str; };
size = mkOption { type = types.str; };
};
}; };
config = { config = {
kernel = { kernel = {