Virtualization for Embedded Systems
Gernot Heiser · 2007
1 Introduction 52 Virtualization 62.1 What Is It? 62.2 How Is It Done? 72.2.1 Pure virtualization 82.2.2 Impure virtualization 93 Virtualization for Embedded Systems 103.1 Virtualization Benefits for Embedded Systems 103.1.1 Modern embedded systems software 103.1.2 Multiple concurrent operating systems 103.1.3 Security 113.1.4 Multicore chips 123.1.5 License separation 123.2 When “Virtualization” is not Virtualization 133.2.1 Security 133.2.2 License separation 133.3 Limits of Virtualization 143.3.1 Software complexity 143.3.2 Integration 143.3.3 Security policies 153.3.4 Trusted computing base 164 Microkernels — A Better Solution 174.1 Embedded Systems Requirements 174.2 Microkernels 174.2.1 What are microkernels? 174.2.2 General properties of microkernel systems 184.3 OKL4 Microkernel Technology 194.3.1 Low-overhead virtualization 194.3.2 Unbeaten IPC performance 204.3.3 Efficient resource sharing 204.3.4 Flexible scheduling 214.3.5 Security 214.3.6 Small trusted computing base 224.3.7 Open-source software 234.4 Virtualization with OKL4 — Best of Both Worlds 235 The Future: Many Cores, Many Components, Many Nines 255.1 The Challenges 255.2 Future-Proofing Embedded Technology 25Bibliography 27About the Author 28OK 40036:2007 Copyright