tftp load address is per-device, IP addresses are local config

This commit is contained in:
Daniel Barlow 2023-02-11 13:28:25 +00:00
parent dd8c8edd9c
commit 5b51aa0826
4 changed files with 11 additions and 2 deletions

View file

@ -41,8 +41,6 @@
}; };
boot.tftp = { boot.tftp = {
loadAddress = "0x00A00000"; loadAddress = "0x00A00000";
serverip = "192.168.8.148";
ipaddr = "192.168.8.251";
}; };
kernel = { kernel = {
src = pkgs.pkgsBuildBuild.fetchurl { src = pkgs.pkgsBuildBuild.fetchurl {

View file

@ -26,6 +26,9 @@
loadAddress = "0x80000000"; loadAddress = "0x80000000";
entryPoint = "0x80000000"; entryPoint = "0x80000000";
}; };
boot.tftp = {
loadAddress = "0x00A00000";
};
kernel = { kernel = {
src = pkgs.fetchurl { src = pkgs.fetchurl {

View file

@ -26,6 +26,9 @@
loadAddress = "0x80000000"; loadAddress = "0x80000000";
entryPoint = "0x80000000"; entryPoint = "0x80000000";
}; };
boot.tftp = {
loadAddress = "0x00A00000";
};
kernel = { kernel = {
src = pkgs.fetchurl { src = pkgs.fetchurl {

View file

@ -64,5 +64,10 @@ in rec {
contents = with services; [ loopback ntp defaultroute4 ]; contents = with services; [ loopback ntp defaultroute4 ];
}; };
boot.tftp = {
serverip = "192.168.8.148";
ipaddr = "192.168.8.251";
};
defaultProfile.packages = [ pkgs.hello ] ; defaultProfile.packages = [ pkgs.hello ] ;
} }