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;