More surgery, HEAD may not be compilable on-and-off today.  I'm cleaning
    up the infrastructure and moving applicable files from vkernel/pc32 to
    cpu/i386.

                                                -Matt

Reply via email to