<p>Nico Huber has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/26839">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">mutime: Move to common/<br><br>It's valid SPARK now.<br><br>Change-Id: I03bc3fa7d9bea79680888c13679cfd871e772000<br>Signed-off-by: Nico Huber <nico.huber@secunet.com><br>---<br>M ada/Makefile.inc<br>M common/Makefile.inc<br>R common/mutime/hw-time-timer.adb<br>3 files changed, 4 insertions(+), 4 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://review.coreboot.org:29418/libhwbase refs/changes/39/26839/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/ada/Makefile.inc b/ada/Makefile.inc</span><br><span>index 2dd0c5a..0074725 100644</span><br><span>--- a/ada/Makefile.inc</span><br><span>+++ b/ada/Makefile.inc</span><br><span>@@ -2,8 +2,4 @@</span><br><span> hw-$(CONFIG_HWBASE_DYNAMIC_MMIO) += dynamic_mmio/hw-mmio_range.adb</span><br><span> hw-$(CONFIG_HWBASE_TIMER_CLOCK_GETTIME) += clock_gettime/hw-time-timer.adb</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">-hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/musinfo/musinfo.ads</span><br><span style="color: hsl(0, 100%, 40%);">-hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/muschedinfo/muschedinfo.ads</span><br><span style="color: hsl(0, 100%, 40%);">-hw-$(CONFIG_HWBASE_TIMER_MUTIME) += mutime/hw-time-timer.adb</span><br><span style="color: hsl(0, 100%, 40%);">-</span><br><span> hw-$(CONFIG_HWBASE_POSIX_FILE) += posix/hw-file.adb</span><br><span>diff --git a/common/Makefile.inc b/common/Makefile.inc</span><br><span>index efdf21d..98b4fbb 100644</span><br><span>--- a/common/Makefile.inc</span><br><span>+++ b/common/Makefile.inc</span><br><span>@@ -19,6 +19,10 @@</span><br><span> hw-$(CONFIG_HWBASE_LINUX_PCIDEV) += linux/hw-pci-dev.adb</span><br><span> hw-$(CONFIG_HWBASE_LINUX_PCIDEV) += hw-pci-dev.ads</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/musinfo/musinfo.ads</span><br><span style="color: hsl(120, 100%, 40%);">+hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/muschedinfo/muschedinfo.ads</span><br><span style="color: hsl(120, 100%, 40%);">+hw-$(CONFIG_HWBASE_TIMER_MUTIME) += mutime/hw-time-timer.adb</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> hw-config-ads := $(subst //,/,$(call src-to-obj,,$(dir)/hw-config).ads)</span><br><span> $(hw-config-ads): $(dir)/hw-config.ads.template $(cnf)</span><br><span>   printf "    GENERATE   $(patsubst /%,%,$(subst $(obj)/,,$@))\n"</span><br><span>diff --git a/ada/mutime/hw-time-timer.adb b/common/mutime/hw-time-timer.adb</span><br><span>similarity index 100%</span><br><span>rename from ada/mutime/hw-time-timer.adb</span><br><span>rename to common/mutime/hw-time-timer.adb</span><br><span></span><br></pre><p>To view, visit <a href="https://review.coreboot.org/26839">change 26839</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://review.coreboot.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://review.coreboot.org/26839"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: libhwbase </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>
<div style="display:none"> Gerrit-Change-Id: I03bc3fa7d9bea79680888c13679cfd871e772000 </div>
<div style="display:none"> Gerrit-Change-Number: 26839 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Nico Huber <nico.h@gmx.de> </div>