Better systemc configurations

This commit is contained in:
Filippo Berto 2022-10-04 17:23:12 +02:00
parent 0592000961
commit f76f08d57a
No known key found for this signature in database
GPG key ID: FE98AE5EC52B1056
3 changed files with 3 additions and 4 deletions

View file

@ -2,7 +2,7 @@
with lib; {
boot = {
binfmt.emulatedSystems = [ "armv7l-linux" "aarch64-linux" ];
kernelPackages = pkgs.linuxPackages_5_18;
kernelPackages = pkgs.linuxPackages_latest;
loader = {
systemd-boot.enable = true;
efi.canTouchEfiVariables = true;