ModOS - A modular and platform independent kernel