[PATCH 2/3] bare/config/devel: Add couverture-qemu source location and patches needed.

Cillian O'Donnell cpodonnell8 at gmail.com
Sat Apr 28 10:18:57 UTC 2018


---
 bare/config/devel/couverture-qemu-git-1.cfg | 32 +++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 bare/config/devel/couverture-qemu-git-1.cfg

diff --git a/bare/config/devel/couverture-qemu-git-1.cfg b/bare/config/devel/couverture-qemu-git-1.cfg
new file mode 100644
index 0000000..c832bcc
--- /dev/null
+++ b/bare/config/devel/couverture-qemu-git-1.cfg
@@ -0,0 +1,32 @@
+#
+# Qemu from git
+#
+
+%if %{release} == %{nil}
+ %define release 1
+%endif
+
+%include %{_configdir}/base.cfg
+
+%include %{_configdir}/bare-config.cfg
+
+#
+# Stable version. Qemu is fast moving.
+#
+%define qemu_version e9299f7591c8ecf3389922f4e7672b6bc5deae71
+
+#
+# Set Couverture-Qemu source from github.
+#
+%source set qemu https://github.com/AdaCore/qemu/archive/%{qemu_version}.tar.gz
+
+#
+# Patch to send halt signal to qemu-system-or32 process when RTEMS terminates
+#
+%patch add qemu %{rtems_http_git}/rtems-tools/plain/tools/qemu/0001-openrisc-terminate-qemu-process-upon-receiving-a-hal.patch
+%hash sha256 0001-openrisc-terminate-qemu-process-upon-receiving-a-hal.patch 88cd5c9e6e2a6bab23bf049a6f4212ff00083b002b73dbe63b2fe9832717f19e
+
+#
+# The Qemu build instructions. We use 2.x.x Release 1.
+#
+%include %{_configdir}/couverture-qemu-2-1.cfg
-- 
2.7.4



More information about the devel mailing list