K 10 svn:author V 6 andrew K 8 svn:date V 27 2014-05-05T10:36:18.849251Z K 7 svn:log V 97 * Add PHYS_AVAIL_SIZE to size the phys_avail array * Set thread0 ad the current thread on boot END