From 8cdc2664173265b9dfa209ffcea3ce29cc534fac Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 6 Aug 2018 11:21:02 +0200
Subject: [PATCH] ports: add microcode of Intel CPUs

Issue #2762
---
 repos/ports/ports/microcode_intel.hash |  1 +
 repos/ports/ports/microcode_intel.port | 12 ++++++++++++
 2 files changed, 13 insertions(+)
 create mode 100644 repos/ports/ports/microcode_intel.hash
 create mode 100644 repos/ports/ports/microcode_intel.port

diff --git a/repos/ports/ports/microcode_intel.hash b/repos/ports/ports/microcode_intel.hash
new file mode 100644
index 000000000..f5f51045f
--- /dev/null
+++ b/repos/ports/ports/microcode_intel.hash
@@ -0,0 +1 @@
+027883136a0c0f9b3b48415714b9a1beca44f28e
diff --git a/repos/ports/ports/microcode_intel.port b/repos/ports/ports/microcode_intel.port
new file mode 100644
index 000000000..8c2f5f371
--- /dev/null
+++ b/repos/ports/ports/microcode_intel.port
@@ -0,0 +1,12 @@
+#
+# https://downloadcenter.intel.com/download/28087/Linux-Processor-Microcode-Data-File
+#
+LICENSE   := Intel
+VERSION   := 20180807a
+DOWNLOADS := intel.archive
+
+URL(intel)  := https://downloadmirror.intel.com/28087/eng/microcode-$(VERSION).tgz
+SHA(intel)  := 46ab18699ec42eb6cc01ee1846ec4d7ca979766dee2156f92d69e2f6df548137
+DIR(intel)  := src/app/intel
+
+TAR_OPT(intel) := --strip-components=0