8 files changed, 164 insertions, 1 deletions
diff --git a/src/Kconfig b/src/Kconfig
index be38af1301..610be5671c 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -1262,3 +1262,12 @@ config RAMSTAGE_ADA
 	def_bool n
 	help
 	  Selected by features that use Ada code in ramstage.
+
+config RAMSTAGE_LIBHWBASE
+	def_bool n
+	select RAMSTAGE_ADA
+	help
+	  Selected by features that require `libhwbase` in ramstage.
+
+config HWBASE_DYNAMIC_MMIO
+	def_bool y
diff --git a/src/console/Kconfig b/src/console/Kconfig
index 8f74613847..caf91ab252 100644
--- a/src/console/Kconfig
+++ b/src/console/Kconfig
@@ -399,4 +399,13 @@ config NO_EARLY_BOOTBLOCK_POSTCODES
 	  POST codes that go out before the chipset's bootblock initialization
 	  can happen.  This option suppresses those POST codes.
 
+config HWBASE_DEBUG_CB
+	bool
+	default y if DEFAULT_CONSOLE_LOGLEVEL_7 || DEFAULT_CONSOLE_LOGLEVEL_8
+	default n
+
+config HWBASE_DEBUG_NULL
+	def_bool y
+	depends on !HWBASE_DEBUG_CB
+
 endmenu
diff --git a/src/console/Makefile.inc b/src/console/Makefile.inc
index 059dea544c..aa0dbf5f72 100644
--- a/src/console/Makefile.inc
+++ b/src/console/Makefile.inc
@@ -2,6 +2,10 @@ ramstage-y += vtxprintf.c printk.c vsprintf.c
 ramstage-y += init.c console.c
 ramstage-y += post.c
 ramstage-y += die.c
+ifeq ($(CONFIG_HWBASE_DEBUG_CB),y)
+ramstage-$(CONFIG_RAMSTAGE_LIBHWBASE) += hw-debug_sink.ads
+ramstage-$(CONFIG_RAMSTAGE_LIBHWBASE) += hw-debug_sink.adb
+endif
 
 smm-$(CONFIG_DEBUG_SMI) += init.c console.c vtxprintf.c printk.c
 smm-$(CONFIG_SMM_TSEG) += die.c
diff --git a/src/console/hw-debug_sink.adb b/src/console/hw-debug_sink.adb
new file mode 100644
index 0000000000..5a165562dc
--- /dev/null
+++ b/src/console/hw-debug_sink.adb
@@ -0,0 +1,59 @@
+--
+-- This file is part of the coreboot project.
+--
+-- Copyright (C) 2015 secunet Security Networks AG
+--
+-- This program is free software; you can redistribute it and/or modify
+-- it under the terms of the GNU General Public License as published by
+-- the Free Software Foundation; version 2 of the License.
+--
+-- This program is distributed in the hope that it will be useful,
+-- but WITHOUT ANY WARRANTY; without even the implied warranty of
+-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+-- GNU General Public License for more details.
+--
+
+with Interfaces.C;
+
+use type Interfaces.C.int;
+
+package body HW.Debug_Sink is
+
+   Sink_Enabled : Boolean;
+
+   procedure console_tx_byte (chr : Interfaces.C.char);
+   pragma Import (C, console_tx_byte, "console_tx_byte");
+
+   procedure Put (Item : String) is
+   begin
+      if Sink_Enabled then
+         for Idx in Item'Range loop
+            console_tx_byte (Interfaces.C.To_C (Item (Idx)));
+         end loop;
+      end if;
+   end Put;
+
+   procedure Put_Char (Item : Character) is
+   begin
+      if Sink_Enabled then
+         console_tx_byte (Interfaces.C.To_C (Item));
+      end if;
+   end Put_Char;
+
+   procedure New_Line is
+   begin
+      Put_Char (Character'Val (16#0a#));
+   end New_Line;
+
+   ----------------------------------------------------------------------------
+
+   function console_log_level
+     (msg_level : Interfaces.C.int)
+      return Interfaces.C.int;
+   pragma Import (C, console_log_level, "console_log_level");
+
+   Msg_Level_BIOS_DEBUG : constant := 7;
+
+begin
+   Sink_Enabled := console_log_level (Msg_Level_BIOS_DEBUG) /= 0;
+end HW.Debug_Sink;
diff --git a/src/console/hw-debug_sink.ads b/src/console/hw-debug_sink.ads
new file mode 100644
index 0000000000..322249e1cb
--- /dev/null
+++ b/src/console/hw-debug_sink.ads
@@ -0,0 +1,24 @@
+--
+-- This file is part of the coreboot project.
+--
+-- Copyright (C) 2015 secunet Security Networks AG
+--
+-- This program is free software; you can redistribute it and/or modify
+-- it under the terms of the GNU General Public License as published by
+-- the Free Software Foundation; version 2 of the License.
+--
+-- This program is distributed in the hope that it will be useful,
+-- but WITHOUT ANY WARRANTY; without even the implied warranty of
+-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+-- GNU General Public License for more details.
+--
+
+package HW.Debug_Sink is
+
+   procedure Put (Item : String);
+
+   procedure Put_Char (Item : Character);
+
+   procedure New_Line;
+
+end HW.Debug_Sink;
diff --git a/src/lib/Makefile.inc b/src/lib/Makefile.inc
index 36591adbb6..ddade2be1c 100644
--- a/src/lib/Makefile.inc
+++ b/src/lib/Makefile.inc
@@ -269,3 +269,13 @@ $(objcbfs)/%.debug.rmod: $(objcbfs)/%.debug | $(RMODTOOL)
 
 $(obj)/%.elf.rmod: $(obj)/%.elf | $(RMODTOOL)
 	$(RMODTOOL) -i $< -o $@
+
+ifeq ($(CONFIG_RAMSTAGE_LIBHWBASE),y)
+
+$(call add-special-class,hw)
+hw-handler = $(eval ramstage-srcs += $$(addprefix $(1),$(2)))
+subdirs-y += ../../3rdparty/libhwbase
+
+ramstage-$(CONFIG_HAVE_MONOTONIC_TIMER) += hw-time-timer.adb
+
+endif # CONFIG_RAMSTAGE_LIBHWBASE
diff --git a/src/lib/gnat/Makefile.inc b/src/lib/gnat/Makefile.inc
index 394c838842..9c68624947 100644
--- a/src/lib/gnat/Makefile.inc
+++ b/src/lib/gnat/Makefile.inc
@@ -62,5 +62,5 @@ $(foreach arch,$(standard-archs), \
 	$(eval $(call libgnat-template,$(arch))))
 
 ifeq ($(CONFIG_RAMSTAGE_ADA),y)
-ramstage-libs += $$(obj)/libgnat-$(ARCH-ramstage-y)/libgnat.a
+ramstage-libs += $(obj)/libgnat-$(ARCH-ramstage-y)/libgnat.a
 endif
diff --git a/src/lib/hw-time-timer.adb b/src/lib/hw-time-timer.adb
new file mode 100644
index 0000000000..643cc98610
--- /dev/null
+++ b/src/lib/hw-time-timer.adb
@@ -0,0 +1,48 @@
+--
+-- This file is part of the coreboot project.
+--
+-- Copyright (C) 2016 secunet Security Networks AG
+--
+-- This program is free software; you can redistribute it and/or modify
+-- it under the terms of the GNU General Public License as published by
+-- the Free Software Foundation; version 2 of the License.
+--
+-- This program is distributed in the hope that it will be useful,
+-- but WITHOUT ANY WARRANTY; without even the implied warranty of
+-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+-- GNU General Public License for more details.
+--
+
+with Interfaces.C;
+
+package body HW.Time.Timer
+   with Refined_State => (Timer_State => null,
+                          Abstract_Time => null)
+is
+
+   procedure Timer_Monotonic_Get (MT : out Interfaces.C.long);
+   pragma Import (C, Timer_Monotonic_Get, "timer_monotonic_get");
+
+   function Raw_Value_Min return T
+   with
+      SPARK_Mode => Off
+   is
+      Microseconds : Interfaces.C.long;
+   begin
+      Timer_Monotonic_Get (Microseconds);
+      return T (Microseconds);
+   end Raw_Value_Min;
+
+   function Raw_Value_Max return T
+   is
+   begin
+      return Raw_Value_Min + 1;
+   end Raw_Value_Max;
+
+   function Hz return T
+   is
+   begin
+      return 1_000_000;
+   end Hz;
+
+end HW.Time.Timer;