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