Talk:Digital Systems

Conventions:

• Hardware registers are named with the syntax UART.TXD, not *UART_TXD as before. For devices with many instances, there's a form UART[i]->TXD that allows one driver function to work with any instance. Hardware addresses are fixed by the linker script.
• micro:bian provides send(dest, msg) and receive(type, msg). The former system call *send(dest, type, msg) is replaced by convenience functions send_msg(dest, type) and send_int(dest, type, val), etc.
• Subject to further experience, I'm inclined to suggest OpenOCD as the debug adapter, mostly because the Debian package for PyOCD is a long way out of date.