* A pluggable kernel I/O scheduler already exists
* Implement additional disk scheduling policies
+### Modify firmware framework
+* 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.
+
### Work relating to LWKT (LightWeightKernelThreading)
* Implement lazy IPI cross-processor lwkt message passing.
* Add timeout functionality to lwkt_waitmsg().