diff options
author | Marc Poulhiès <dkm@kataplop.net> | 2022-07-07 22:36:29 +0200 |
---|---|---|
committer | Marc Poulhiès <dkm@kataplop.net> | 2022-07-22 21:06:23 +0200 |
commit | c9094c7d7b49e21bc53d273288463723beec6601 (patch) | |
tree | 35882eb4560ba16575a5b7f0ad275bedaf4e9558 /firmware/ada/src/logging.ads | |
parent | 3c71e3a2a3af39d579c2649fddf0c8ba835bfa01 (diff) |
Initial Ada firmware
Missing doc, comment.
Diffstat (limited to 'firmware/ada/src/logging.ads')
-rw-r--r-- | firmware/ada/src/logging.ads | 16 |
1 files changed, 16 insertions, 0 deletions
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; |