#include <sys/fcntl.h>
#include <sys/stat.h>
+#include <file/file.h>
#include <talloc/talloc.h>
#include <list/list.h>
#include <log/log.h>
IPMI_BOOTDEV_NONE = 0x00,
IPMI_BOOTDEV_NETWORK = 0x01,
IPMI_BOOTDEV_DISK = 0x2,
+ IPMI_BOOTDEV_SAFE = 0x3,
IPMI_BOOTDEV_CDROM = 0x5,
IPMI_BOOTDEV_SETUP = 0x6,
};
case IPMI_BOOTDEV_NONE:
case IPMI_BOOTDEV_NETWORK:
case IPMI_BOOTDEV_DISK:
+ case IPMI_BOOTDEV_SAFE:
case IPMI_BOOTDEV_CDROM:
case IPMI_BOOTDEV_SETUP:
*val = buf[0];
case IPMI_BOOTDEV_SETUP:
config->autoboot_enabled = false;
break;
+ case IPMI_BOOTDEV_SAFE:
+ config->autoboot_enabled = false;
+ config->safe_mode = true;
+ break;
}
}
return rc;
}
+static int get_sysinfo(struct platform *p, struct system_info *sysinfo)
+{
+ struct platform_powerpc *platform = p->platform_data;
+ int len, rc;
+ char *buf;
+
+ rc = read_file(platform, "/proc/device_tree/model", &buf, &len);
+ if (rc == 0)
+ sysinfo->type = talloc_steal(sysinfo, buf);
+
+ rc = read_file(platform, "/proc/device_tree/system-id", &buf, &len);
+ if (rc == 0)
+ sysinfo->identifier = talloc_steal(sysinfo, buf);
+
+ return 0;
+}
+
static bool probe(struct platform *p, void *ctx)
{
struct platform_powerpc *platform;
return true;
}
+
static struct platform platform_powerpc = {
.name = "powerpc",
.dhcp_arch_id = 0x000e,
.probe = probe,
.load_config = load_config,
.save_config = save_config,
+ .get_sysinfo = get_sysinfo,
};
register_platform(platform_powerpc);