Howdy howdy howdy. I'm working through the Raspberry Pi OS Tutorials, and I'm struggling to get any sort of communication to my Pi in section 5. It's a Pi model 4B. 

https://github.com/rust-embedded/rust-raspberrypi-OS-tutorials/tree/master

Things I have tried include:
- switching the miniterm destination between `/dev/cu.usbserial-0001` and `/dev/tty.usbserial-0001` (I'm on a mac)
- switching the filename from start4.elf to start.elf, as suggested
- reformatting my disk
- double checking my pinout and swapping the TX/RX wires, because, you know...

Any thoughts - has anyone else seen similar issues? Would love a pointer, I'm currently pretty stuck without much ability to debug this issue