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>