Using faux's kernel for now