Is the IO80211Family.kext open source?

I have a TL-WDN4800 wifi card and was looking for installing the Atheros kext IO80211. Is that kext open source, I have seen only builds of it in github?

submitted by /u/sanandrea8080
[link] [comments]