Rodrigo Arias Mallo feb2060be7 Use IPMI host names instead of IP addresses ...

Reviewed-by: Aleix Boné <abonerib@bsc.es>

2025-04-08 17:15:01 +02:00

..

console.nix

Set the serial console to ttyS1 in raccoon

2024-09-12 08:36:56 +02:00

fs.nix

Split xeon specific configuration from base

2024-07-16 12:35:37 +02:00

net.nix

Use IPMI host names instead of IP addresses

2025-04-08 17:15:01 +02:00