Now that the new boot code is in I am going to do a small optimization
pass on the lwkt_token and IPI code, then move on to GCC 3.x, then start
work on 64 bit AMD64. Plus I'll be working with Jeff on the networking
code.
-Matt
Matthew Dillon
<dillon at xxxxxxxxxxxxx>