summaryrefslogtreecommitdiff
path: root/firmware/ada/src/logging.ads
diff options
context:
space:
mode:
authorMarc Poulhiès <dkm@kataplop.net>2022-07-07 22:36:29 +0200
committerMarc Poulhiès <dkm@kataplop.net>2022-07-22 21:06:23 +0200
commitc9094c7d7b49e21bc53d273288463723beec6601 (patch)
tree35882eb4560ba16575a5b7f0ad275bedaf4e9558 /firmware/ada/src/logging.ads
parent3c71e3a2a3af39d579c2649fddf0c8ba835bfa01 (diff)
Initial Ada firmware
Missing doc, comment.
Diffstat (limited to 'firmware/ada/src/logging.ads')
-rw-r--r--firmware/ada/src/logging.ads16
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;