1 files changed, 0 insertions, 17 deletions

diff --git a/kernel.md b/kernel.md
index 3e7a457..bb16a62 100644
--- a/kernel.md
+++ b/kernel.md
@@ -144,20 +144,3 @@ Running the kernel
 ------------------
 
 TODO: link the QEMU article
-
-
-```c
-#include <stdio.h>
-
-/**
- * \brief The entry point of the program.
- *
- * \param argc the number of command line arguments
- * \param argv the command line argument, as an array of NULL terminated strings
- */
-int main(int argc, char** argv) {
-        for(int i = 0; i < argc; ++i) {
-                printf("Argument %i: %s\n", i, argv[i]);
-        }
-}
-```