From c9094c7d7b49e21bc53d273288463723beec6601 Mon Sep 17 00:00:00 2001 From: Marc Poulhiès Date: Thu, 7 Jul 2022 22:36:29 +0200 Subject: Initial Ada firmware Missing doc, comment. --- firmware/ada/src/logging.ads | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 firmware/ada/src/logging.ads (limited to 'firmware/ada/src/logging.ads') diff --git a/firmware/ada/src/logging.ads b/firmware/ada/src/logging.ads new file mode 100644 index 0000000..32eaa2a --- /dev/null +++ b/firmware/ada/src/logging.ads @@ -0,0 +1,16 @@ +with HAL; use HAL; +with STM32.Device; use STM32.Device; +with STM32.GPIO; use STM32.GPIO; +with STM32.USARTs; use STM32.USARTs; + +package Logging is + + procedure Init; + + procedure Await_Send_Ready (This : USART); + + procedure Put_Blocking (This : in out USART; Data : UInt16); + + procedure Log (S : String; L : Integer := 1; Deindent : Integer := 0); + +end Logging; -- cgit v1.2.3