Argonaut kernel import from sharc