src/console/hw-debug_sink.ads

   1 --
   2 -- This file is part of the coreboot project.
   3 --
   4 -- Copyright (C) 2015 secunet Security Networks AG
   5 --
   6 -- This program is free software; you can redistribute it and/or modify
   7 -- it under the terms of the GNU General Public License as published by
   8 -- the Free Software Foundation; version 2 of the License.
   9 --
  10 -- This program is distributed in the hope that it will be useful,
  11 -- but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 -- GNU General Public License for more details.
  14 --
  15
  16 package HW.Debug_Sink is
  17
  18    procedure Put (Item : String);
  19
  20    procedure Put_Char (Item : Character);
  21
  22    procedure New_Line;
  23
  24 end HW.Debug_Sink;