forked from DGNum/liminix
3c941b4ce2
doesn't actually know how to make the filesystem, just kernel config and accept it as a valid option
141 lines
3.9 KiB
Nix
141 lines
3.9 KiB
Nix
## Base options
|
|
## ============
|
|
|
|
|
|
{ lib, pkgs, config, ...}:
|
|
let
|
|
inherit (lib) mkEnableOption mkOption types isDerivation hasAttr ;
|
|
inherit (pkgs.pseudofile) dir symlink;
|
|
inherit (pkgs.liminix.networking) address interface;
|
|
inherit (pkgs.liminix.services) bundle;
|
|
|
|
type_service = pkgs.liminix.lib.types.service;
|
|
|
|
in {
|
|
imports = [
|
|
./kernel.nix # kernel is a separate module for doc purposes
|
|
];
|
|
options = {
|
|
defaultProfile = {
|
|
packages = mkOption {
|
|
type = types.listOf types.package;
|
|
description = ''
|
|
List of packages which are available in a login shell. (This
|
|
is analogous to systemPackages in NixOS, but we don't symlink into
|
|
/run/current-system, we just add the paths in /etc/profile
|
|
'';
|
|
};
|
|
};
|
|
services = mkOption {
|
|
type = types.attrsOf type_service;
|
|
};
|
|
filesystem = mkOption {
|
|
type = types.anything;
|
|
description = ''
|
|
Skeleton filesystem, represented as nested attrset. Consult the
|
|
source code if you need to add to this
|
|
'';
|
|
# internal = true; # probably a good case to make this internal
|
|
};
|
|
rootfsType = mkOption {
|
|
default = "squashfs";
|
|
type = types.enum [
|
|
"btrfs"
|
|
"ext4"
|
|
"jffs2"
|
|
"squashfs"
|
|
"ubifs"
|
|
];
|
|
};
|
|
boot = {
|
|
commandLine = mkOption {
|
|
type = types.listOf types.nonEmptyStr;
|
|
default = [];
|
|
description = "Kernel command line";
|
|
};
|
|
imageFormat = mkOption {
|
|
type = types.enum ["fit" "uimage"];
|
|
default = "uimage";
|
|
};
|
|
tftp = {
|
|
loadAddress = mkOption {
|
|
type = types.ints.unsigned;
|
|
description = ''
|
|
RAM address at which to load data when transferring via
|
|
TFTP. This is not the address of the flash storage,
|
|
nor the kernel load address: it should be set to some part
|
|
of RAM that's not used for anything else and suitable for
|
|
temporary storage.
|
|
'';
|
|
};
|
|
# These names match the uboot environment variables. I reserve
|
|
# the right to change them if I think of better ones.
|
|
ipaddr = mkOption {
|
|
type = types.str;
|
|
description = ''
|
|
Our IP address to use when creating scripts to
|
|
boot or flash from U-Boot. Not relevant in normal operation
|
|
'';
|
|
};
|
|
serverip = mkOption {
|
|
type = types.str;
|
|
description = ''
|
|
IP address of the TFTP server. Not relevant in normal operation
|
|
'';
|
|
};
|
|
};
|
|
};
|
|
};
|
|
config = {
|
|
defaultProfile.packages = with pkgs;
|
|
[ s6 s6-init-bin execline s6-linux-init s6-rc ];
|
|
|
|
boot.commandLine = [
|
|
"panic=10 oops=panic init=/bin/init loglevel=8"
|
|
"root=${config.hardware.rootDevice}"
|
|
"rootfstype=${config.rootfsType}"
|
|
"fw_devlink=off"
|
|
];
|
|
users.root = {
|
|
uid = 0; gid= 0; gecos = "Root of all evaluation";
|
|
dir = "/home/root/";
|
|
passwd = lib.mkDefault "";
|
|
shell = "/bin/sh";
|
|
};
|
|
groups = {
|
|
root = {
|
|
gid = 0; usernames = ["root"];
|
|
};
|
|
system = {
|
|
gid = 1; usernames = ["root"];
|
|
};
|
|
};
|
|
|
|
filesystem = dir {
|
|
dev =
|
|
let node = type: major: minor: mode : { inherit type major minor mode; };
|
|
in dir {
|
|
null = node "c" "1" "3" "0666";
|
|
zero = node "c" "1" "5" "0666";
|
|
tty = node "c" "5" "0" "0666";
|
|
console = node "c" "5" "1" "0600";
|
|
pts = dir {};
|
|
};
|
|
etc = let
|
|
profile = symlink
|
|
(pkgs.writeScript ".profile" ''
|
|
PATH=${lib.makeBinPath config.defaultProfile.packages}:/bin
|
|
export PATH
|
|
'');
|
|
in dir {
|
|
inherit profile;
|
|
ashrc = profile;
|
|
};
|
|
|
|
proc = dir {};
|
|
run = dir {};
|
|
sys = dir {};
|
|
tmp = dir {};
|
|
};
|
|
};
|
|
}
|