[PATCH v2] machine: Add x86-64-efi as x86 example

Q. Gylstorff Quirin.Gylstorff at siemens.com
Wed Aug 21 17:09:52 CEST 2019


From: Quirin Gylstorff <quirin.gylstorff at siemens.com>

Use the x86-64-efi as example how to build a xenomai
x86 image.

Signed-off-by: Quirin Gylstorff <quirin.gylstorff at siemens.com>
---
Changes:
 V2:
  - rename from simatic-ipc227e to x86-64-efi.

board-x86-64-efi.yml         | 15 +++++++++++++++
 conf/machine/x86-64-efi.conf | 15 +++++++++++++++
 wic/x86-64-efi.wks           | 16 ++++++++++++++++
 3 files changed, 46 insertions(+)
 create mode 100644 board-x86-64-efi.yml
 create mode 100644 conf/machine/x86-64-efi.conf
 create mode 100644 wic/x86-64-efi.wks

diff --git a/board-x86-64-efi.yml b/board-x86-64-efi.yml
new file mode 100644
index 0000000..e926d95
--- /dev/null
+++ b/board-x86-64-efi.yml
@@ -0,0 +1,15 @@
+#
+# Xenomai Real-Time System
+#
+# Copyright (c) Siemens AG, 2019
+#
+# Authors:
+#  Quirin Gylstorff <quirin.gylstorff at siemens.com>
+#
+# SPDX-License-Identifier: MIT
+#
+
+header:
+  version: 8
+
+machine: x86-64-efi
diff --git a/conf/machine/x86-64-efi.conf b/conf/machine/x86-64-efi.conf
new file mode 100644
index 0000000..0fd2ef1
--- /dev/null
+++ b/conf/machine/x86-64-efi.conf
@@ -0,0 +1,15 @@
+#
+# Xenomai Real-Time System
+#
+# Copyright (c) Siemens AG, 2019
+#
+# Authors:
+#  Quirin Gylstorff <quirin.gylstorff at siemens.com>
+#
+# SPDX-License-Identifier: MIT
+#
+
+DISTRO_ARCH = "amd64"
+
+IMAGE_TYPE = "wic-img"
+IMAGER_INSTALL += "${GRUB_BOOTLOADER_INSTALL}"
diff --git a/wic/x86-64-efi.wks b/wic/x86-64-efi.wks
new file mode 100644
index 0000000..107e119
--- /dev/null
+++ b/wic/x86-64-efi.wks
@@ -0,0 +1,16 @@
+#
+# Xenomai Real-Time System
+#
+# Copyright (c) Siemens AG, 2019
+#
+# Authors:
+#  Quirin Gylstorff <quirin.gylstorff at siemens.com>
+#
+# SPDX-License-Identifier: MIT
+#
+
+part /boot --source bootimg-efi-isar --sourceparams "loader=grub-efi" --ondisk sda --label efi --part-type EF00 --align 1024
+
+part / --source rootfs --ondisk sda --fstype ext4 --label platform --align 1024 --use-uuid
+
+bootloader --ptable gpt --timeout=2 --append "rw rootwait console=ttyS0,115200"
-- 
2.20.1




More information about the Xenomai mailing list