text: #include <stddef.h>
  #include <stdint.h>
  #include <kernel/uart.h>
  #include <kernel/mem.h>
  #include <kernel/atag.h>
  #include <kernel/kerio.h>
  #include <kernel/gpu.h>
  #include <kernel/interrupts.h>
  #include <kernel/timer.h>
  #include <kernel/process.h>
  #include <kernel/mutex.h>
  #include <common/stdlib.h>
  #include <common/stdbool.h>
  #include <kernel/io.h>
  
  void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags)
  {
      // Declare as unused
      (void) r0;
      (void) r1;
  
      mem_init((atag_t *)atags);
      gpu_init();
      printf("GPU INITIALIZED\n");
      printf("INITIALIZING INTERRUPTS...");
      interrupts_init();
      printf("DONE\n");
      printf("INITIALIZING TIMER...");
      timer_init();
      printf("DONE\n");
      printf("INITIALIZING SCHEDULER...");
      process_init();
      printf("DONE\n");
  
      puts("Hello, kernel World!\n");
  
      test();
  
  }
  