nixos-riscv/flake.nix

92 lines
2.7 KiB
Nix
Raw Normal View History

2022-06-25 17:37:18 +02:00
{
2024-05-28 18:12:14 +02:00
inputs.nixpkgs.url = "github:NixOS/nixpkgs/e4ad989506ec7d71f7302cc3067abd82730a4beb";
2024-05-13 18:59:00 +02:00
#inputs.bscpkgs.url = "path:/home/Computational/rarias/bscpkgs";
inputs.bscpkgs.url = "/home/Computational/rarias/bscpkgs";
2023-02-16 11:57:52 +01:00
2024-05-28 18:12:14 +02:00
outputs = {self,...}@inputs:
2024-01-17 18:22:30 +01:00
let
system = "x86_64-linux";
2024-05-28 18:12:14 +02:00
remoteNixpkgsPatches = [
{
meta.description = "sha256-ZCDQ7SpGhH8JvAwWzdcyrc68RFEWHxxAj0M2+AvEzIg=";
url = "https://github.com/NixOS/nixpkgs/pull/283460.diff";
sha256 = "sha256-g6o4rqkOOYZ6OJTzv9kTPq9Zsu5Z1QXZmPLC3Q7Sq6w=";
}
];
originPkgs = inputs.nixpkgs.legacyPackages."x86_64-linux";
nixpkgs = originPkgs.applyPatches {
name = "nixpkgs-patched";
src = inputs.nixpkgs;
patches = map originPkgs.fetchpatch remoteNixpkgsPatches;
};
nixosSystem = import (nixpkgs + "/nixos/lib/eval-config.nix");
2024-01-17 18:22:30 +01:00
in {
2024-05-13 18:59:00 +02:00
#overlay = import ./overlay.nix;
2024-01-17 18:22:30 +01:00
nixosConfigurations = {
# The qemu configuration defines a system that runs in the RISC-V
2024-01-17 18:22:30 +01:00
# architecture, but is build from an x86 host machine.
2024-05-28 18:12:14 +02:00
qemu = nixosSystem {
2024-05-13 18:59:00 +02:00
specialArgs = { inherit self; };
system = "${system}";
modules = [
./configuration.nix
./vm.nix
];
};
# Same, but disable compressed instructions
2024-05-28 18:12:14 +02:00
qemu-nc = nixosSystem {
2024-05-13 18:59:00 +02:00
specialArgs = { inherit self; };
2024-01-17 18:22:30 +01:00
system = "${system}";
modules = [
./configuration.nix
./vm.nix
./no-compressed.nix
2024-01-17 18:22:30 +01:00
];
};
2024-03-01 18:33:30 +01:00
# FPGA Lagarto Hun CPU
2024-05-28 18:12:14 +02:00
lagarto-hun = nixosSystem {
2024-05-13 18:59:00 +02:00
specialArgs = { inherit self; };
2024-03-01 18:33:30 +01:00
system = "${system}";
modules = [
./configuration.nix
./lagarto-hun.nix
2024-03-04 14:44:49 +01:00
./no-compressed.nix
2024-03-01 18:33:30 +01:00
];
};
2024-01-17 18:22:30 +01:00
};
2023-02-16 12:49:58 +01:00
2024-01-17 18:22:30 +01:00
# A development shell with QEMU ready to boot the RISC-V system in an x86
# machine.
devShells.x86_64-linux.default =
let
nixosconf = self.nixosConfigurations.qemu-nc;
2024-01-17 18:22:30 +01:00
syspkgs = nixosconf.pkgs;
2024-01-19 12:32:06 +01:00
toplevel = nixosconf.config.system.build.toplevel;
2024-05-13 18:59:00 +02:00
in syspkgs.mkShell {
2024-01-17 18:22:30 +01:00
pname = "qemu-shell";
2024-05-28 18:12:14 +02:00
nativeBuildInputs = with syspkgs; [ qemu e2fsprogs ];
2024-01-17 18:22:30 +01:00
# Here we tell the run script where to find the system
2024-01-17 18:33:58 +01:00
NIXOS_SYSTEM_TOPLEVEL = toplevel;
2024-01-18 17:58:00 +01:00
OPENSBI = syspkgs.opensbi-uboot;
2022-06-25 17:37:18 +02:00
};
2024-03-04 18:32:25 +01:00
devShells.x86_64-linux.lagarto-hun =
let
nixosconf = self.nixosConfigurations.lagarto-hun;
syspkgs = nixosconf.pkgs;
build = nixosconf.config.system.build;
2024-05-13 18:59:00 +02:00
in syspkgs.mkShell {
2024-03-04 18:32:25 +01:00
pname = "lagarto-hun-shell";
2024-03-07 16:49:48 +01:00
TOPLEVEL = build.toplevel;
2024-03-04 18:32:25 +01:00
OPENSBI = syspkgs.opensbi;
KERNEL = build.kernel;
INITRD = build.initialRamdisk;
2024-03-07 12:05:10 +01:00
ROOTFS = build.sdImage;
2024-03-07 16:49:48 +01:00
UBOOT_ENV = syspkgs.uboot-env;
2024-03-04 18:32:25 +01:00
};
2024-01-17 18:22:30 +01:00
};
2022-06-25 17:37:18 +02:00
}