Externalize kernel launching