src/console/hw-debug_sink.ads


1
2
3
4
5
6
7
8
9
10
11
12

-- This file is part of the coreboot project.
-- 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;