coreboot-mirror
/
libhwbase
mirror of https://review.coreboot.org/libhwbase.git
1
0
Fork 0
Code Issues Releases Wiki Activity

mutime: Move to common/ 

It's valid SPARK now.

Change-Id: I03bc3fa7d9bea79680888c13679cfd871e772000
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/c/libhwbase/+/26839
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Reto Buerki <reet@codelabs.ch>
This commit is contained in:
Nico Huber 2018-06-04 13:13:36 +02:00 committed by Nico Huber
parent a6a4909d25
commit c38015d052
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ada/Makefile.inc
View File

@ -2,8 +2,4 @@ hw-$(CONFIG_HWBASE_STATIC_MMIO) += static_mmio/hw-mmio_range.adb
hw-$(CONFIG_HWBASE_DYNAMIC_MMIO) += dynamic_mmio/hw-mmio_range.adb
hw-$(CONFIG_HWBASE_TIMER_CLOCK_GETTIME) += clock_gettime/hw-time-timer.adb
hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/musinfo/musinfo.ads
hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/muschedinfo/muschedinfo.ads
hw-$(CONFIG_HWBASE_TIMER_MUTIME) += mutime/hw-time-timer.adb
hw-$(CONFIG_HWBASE_POSIX_FILE) += posix/hw-file.adb

4
common/Makefile.inc
View File

@ -19,6 +19,10 @@ hw-$(CONFIG_HWBASE_DIRECT_PCIDEV) += hw-pci-dev.ads
hw-$(CONFIG_HWBASE_LINUX_PCIDEV) += linux/hw-pci-dev.adb
hw-$(CONFIG_HWBASE_LINUX_PCIDEV) += hw-pci-dev.ads
hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/musinfo/musinfo.ads
hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/muschedinfo/muschedinfo.ads
hw-$(CONFIG_HWBASE_TIMER_MUTIME) += mutime/hw-time-timer.adb
hw-config-ads := $(subst //,/,$(call src-to-obj,,$(dir)/hw-config).ads)
$(hw-config-ads): $(dir)/hw-config.ads.template $(cnf)
printf " GENERATE $(patsubst /%,%,$(subst $(obj)/,,$@))\n"

0
ada/mutime/hw-time-timer.adb → common/mutime/hw-time-timer.adb
View File