What is KaffeOS
		l A Java operating system: – Enhanced JVM that provides operating system functionality l Features: – Separation – Resource management – Direct sharing l Focus on memory (GC) and CPU management l Architectural concepts taken from OS l Mechanisms taken from garbage collection