src/kernel/shutdown.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#include "paging.h"
#include "window.h"
#include "fat.h"
#include "log.h"

__attribute__ ((noreturn))
void shutdown() {
  logf(LOG_INFO, "Shutting down...");

  asm ("cli");
  switch_to_kernel_cr3();

  fat_ready_shutdown();

  logf(LOG_INFO, "Finished getting ready for shutdown.");

  show_shutdown();
  while (1)
    asm ("hlt");
}