coreboot-kgpe-d16/src/console/hw-debug_sink.ads

-- SPDX-License-Identifier: GPL-2.0-only

package HW.Debug_Sink is

   procedure Put (Item : String);

   procedure Put_Char (Item : Character);

   procedure New_Line;

end HW.Debug_Sink;
src: Replace remaining GPLv2 long form headers with SPDX header Change-Id: I4614e9b02a932530fc22912b5cf502d1b699b451 Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr> Reviewed-on: https://review.coreboot.org/c/coreboot/+/41188 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Patrick Georgi <pgeorgi@google.com> 2020-05-09 13:22:30 +02:00			`-- SPDX-License-Identifier: GPL-2.0-only`
Hook up libhwbase in ramstage It's hidden behind a configuration option `CONFIG_RAMSTAGE_LIBHWBASE`. This also adds some glue code to use the coreboot console for debug output and our monotonic timer framework as timer backend. v2: Also update 3rdparty/libhwbase to the latest master commit. Change-Id: I8e8d50271b46aac1141f95ab55ad323ac0889a8d Signed-off-by: Nico Huber <nico.huber@secunet.com> Reviewed-on: https://review.coreboot.org/16951 Tested-by: build bot (Jenkins) Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> Reviewed-by: Ronald G. Minnich <rminnich@gmail.com> 2016-10-05 17:46:49 +02:00
			`package HW.Debug_Sink is`

			`procedure Put (Item : String);`

			`procedure Put_Char (Item : Character);`

			`procedure New_Line;`

			`end HW.Debug_Sink;`