Makefile

@@ -60,7 +60,7 @@ $(BDPI_OBJ): $(BDPI_SRC)
 
 BSC_LINK_FLAGS += -keep-fires
 
-BSC_PATHS = -p bs/Uart/:bs/Bus/:bs/:bs/Tests/:bsv/:+
+BSC_PATHS = -p bs/Bus/:bs/:bs/Tests/:bsv/:+
 
 .PHONY: help
 help:
@@ -159,7 +159,7 @@ v_sim_vcd:
 # ----------------------------------------------------------------
 
 fpga:
-	make -C ulx3s_fpga mkTop.bit prog
+	make -C ulx3s_fpga mkTop.bit
 
 .PHONY: clean
 clean:

bs/Serializer.bs

@@ -15,8 +15,8 @@ serialize ftdiState dataReg =
         _        -> 1'b1
 
 interface (ISerializer :: # -> # -> *) clkFreq baudRate =
-  putBit8    :: (Bit 8) -> Action
+  putBit8    :: (Bit 8) -> Action {-# always_enabled, always_ready #-}
-  bitLineOut ::  Bit 1
+  bitLineOut ::  Bit 1            {-# always_ready #-}
 
 mkSerialize :: Handle -> Module (ISerializer clkFreq baudRate)
 mkSerialize fileHandle = do