#include <stdint.h>
#include "vga.h"
#include "fat.h"

void main() {
  vga_blank();
  vga_printsz("In kernel-land\n\nDisk label: ");
  vga_printsn(FAT_INFO->label, 11);
  vga_printsz("\nDisk size:  ");
  vga_printu32((FAT_INFO->sectors * FAT_INFO->bytes_per_sector) >> 10);
  vga_printsz("k\n\nHalting...");
  while (1)
    asm ("hlt");
}