The document discusses microkernel-based operating system development. It describes how a microkernel has minimal functionality and moves drivers and services to user-level processes that communicate through inter-process communication calls. This can impact performance. Mainstream systems now take a hybrid approach. The document then describes the L4 microkernel and its implementation, Hasenpfeffer, which maximizes reuse of open source components. It lists components and features of the Hasenpfeffer system, including programming languages, drivers, and tools for development.

1. Microkernel-based operating system development Senko Rašić

2. operating system (OS): A part of software that manages hardware resources and provides a safe environment for processes to execute in.

4. the micro-kernel idea: Hardware drivers and operating system services are regular processes . The kernel has only the required basic functionality

8. intensive inter-process comunication + slow IPC calls = bad performance

9. mainstream systems: Monolithic kernels with some elements of microkernel design ongoing research: L4, Exokernel, ...

20. Remote procedure calls

21. capability: The privilege to invoke a specific RPC.

22. Naming system

23. Name system

26. System boot

29. QEMU & KDB in action

30. Software development #include <stdio.h> #include <l4/ipc.h> #define SECOND 1000000UL int main(int argc, char *argv[]) { char buf[1024]; L4_Sleep(L4_TimePeriod(4 * SECOND)); printf(&quot;Hello, I'm %s!Who are you: &quot;, argv[0]); fgets(buf, 1023, stdin); printf(&quot;Howdy, %s&quot;, buf); return 0; }

32. Software development