diff --git a/src/plat/spike/config.cmake b/src/plat/spike/config.cmake
index d583fcaf5..b6878a582 100644
--- a/src/plat/spike/config.cmake
+++ b/src/plat/spike/config.cmake
@@ -21,6 +21,7 @@ endif()
 config_choice(KernelSpikeInstance RISCV_SPIKE_INSTANCE "Select the instance for Spike to run on"
     "qemu;KernelPlatformSpikeQemu;BUILD_SPIKE_QEMU;KernelArchRiscV"
     "rocket-chip-zedboard;KernelPlatformSpikeRocketChip;BUILD_ROCKET_CHIP_ZEDBOARD;KernelSel4ArchRiscV64"
+    "hi-five-unleashed;KernelPlatformSpikeSiFiveFreedom;BUILD_HI_FIVE_UNLEASHED;KernelSel4ArchRiscV64"
 )
 
 config_string(KernelPlatformSpikeClockFrequency SPIKE_CLOCK_FREQ
@@ -32,6 +33,7 @@ config_string(KernelPlatformSpikeClockFrequency SPIKE_CLOCK_FREQ
 # Include all of the different instances of the Spike platform
 include(src/plat/spike/instance/qemu/config.cmake)
 include(src/plat/spike/instance/rocket-chip/config.cmake)
+include(src/plat/spike/instance/freedom/config.cmake)
 
 add_sources(
     DEP "KernelPlatformSpike"
diff --git a/src/plat/spike/instance/freedom/config.cmake b/src/plat/spike/instance/freedom/config.cmake
new file mode 100644
index 000000000..77e3c66dd
--- /dev/null
+++ b/src/plat/spike/instance/freedom/config.cmake
@@ -0,0 +1,13 @@
+#
+# Copyright 2018, DornerWorks
+#
+# This software may be distributed and modified according to the terms of
+# the GNU General Public License version 2. Note that NO WARRANTY is provided.
+# See "LICENSE_GPLv2.txt" for details.
+#
+# @TAG(DORNERWORKS_GPL)
+#
+
+if(KernelPlatformSpikeSiFiveFreedom)
+  set(KernelPlatformSpikeClockFrequency 1000000)
+endif()