9 files changed, 38 insertions, 0 deletions
diff --git a/src/config/cloud/aws.ipxe b/src/config/cloud/aws.ipxe
new file mode 100644
index 00000000..d857d71d
--- /dev/null
+++ b/src/config/cloud/aws.ipxe
@@ -0,0 +1,7 @@
+#!ipxe
+
+echo Amazon EC2 - iPXE boot via user-data
+ifstat ||
+dhcp ||
+route ||
+chain -ar http://169.254.169.254/latest/user-data
diff --git a/src/config/cloud/colour.h b/src/config/cloud/colour.h
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/src/config/cloud/colour.h
diff --git a/src/config/cloud/console.h b/src/config/cloud/console.h
new file mode 100644
index 00000000..dae18e55
--- /dev/null
+++ b/src/config/cloud/console.h
@@ -0,0 +1,31 @@
+/*
+ * Console configuration suitable for use in public cloud
+ * environments, or any environment where direct console access is not
+ * available.
+ *
+ */
+
+/* Log to syslog(s) server
+ *
+ * The syslog server to be used must be specified via e.g.
+ * "set syslog 192.168.0.1".
+ */
+#define CONSOLE_SYSLOG
+#define CONSOLE_SYSLOGS
+
+/* Log to serial port
+ *
+ * Note that the serial port output from an AWS EC2 virtual machine is
+ * generally available (as the "System Log") only after the instance
+ * has been stopped.
+ */
+#define CONSOLE_SERIAL
+
+/* Log to partition on local disk
+ *
+ * If all other log mechanisms fail then the VM boot disk containing
+ * the iPXE image can be detached and attached to another machine in
+ * the same cloud, allowing the log to be retrieved from the log
+ * partition.
+ */
+#define CONSOLE_INT13
diff --git a/src/config/cloud/crypto.h b/src/config/cloud/crypto.h
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/src/config/cloud/crypto.h
diff --git a/src/config/cloud/general.h b/src/config/cloud/general.h
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/src/config/cloud/general.h
diff --git a/src/config/cloud/serial.h b/src/config/cloud/serial.h
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/src/config/cloud/serial.h
diff --git a/src/config/cloud/settings.h b/src/config/cloud/settings.h
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/src/config/cloud/settings.h
diff --git a/src/config/cloud/sideband.h b/src/config/cloud/sideband.h
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/src/config/cloud/sideband.h
diff --git a/src/config/cloud/usb.h b/src/config/cloud/usb.h
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/src/config/cloud/usb.h