Can it be posted as the new default gnumach kernel in the next disc (K7)? Or does it needs further testing. That is not my choice to make, but Phillip's and whoever takes care of the GNU Mach package.