Dead -- other people have made much more progress on the driver See https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=204521 . This repo will be deleted soon.