I'm looking for guidance here -- I'd love to be able to USB Tether on MacOS, and it looks like https://github.com/jwise/HoRNDIS works on Apple Silicon on newer releases of the OS, but I'd also like this to be managed by my nix-darwin flake.

Is there prior art for supporting a kext like this somewhat natively?

Thank you for all of your work