Snappoint kernel for OSes