Operating Systems: Lessons for Libertarians 1.0