Rare find

wbuart32. A simple, basic, formally verified UART controller

github.com/ZipCPU/wbuart32

by

@ZipCPU

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.