* We currently use the firmware(9) FreeBSD also uses
* It would be more appropriate to avoid future problems with redistribution problems, etc, to adapt the wifi firmware stuff to use the firmware(9) we used to have before, which was able to load firmware files from userland (/etc/firmware).
* See "firmware discussion" thread on kernel@ mailing list, March-May 2010.
+* Since it's not desired to just add another way of doing it, this project should include getting rid of loading firmwares as modules
### Work relating to LWKT (LightWeightKernelThreading)
* Implement lazy IPI cross-processor lwkt message passing.