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>