Using Project Elite kernel for S4