ACM Symposium in Gatlinburg ``Operating System Principles''