AFAICT, they don't have a custom kernel, it just runs an application on startup.