Trends in Operating System Design: Towards a Cutomisable Persistent Micro kernel