make server map, normalize uart interfaces

2025-04-20 18:06:17 -04:00 · 2025-04-20 18:06:17 -04:00 · 842c19d441
commit 842c19d441
parent 7290af88fb
3 changed files with 38 additions and 2 deletions
--- a/bs/Uart/Uart.bs
+++ b/bs/Uart/Uart.bs
@ -22,5 +22,5 @@ mkUartPhy dedicatedServerInterface = do
    return |>
        interface UartPhy
            bitOut = 1
-            bitIn  bitVal = do
-                action {}
+            bitIn bitVal = do
+                deserializer.putBitIn bitVal