#include "utils/print.h"
#include "utils/asm.h"
#include "utils/pic.h"
#include "utils/8042.h"
#include "utils/multiboot.h"

extern char  *name_addr;

void bringelle(){

 // clear();
  //print("Booting Bringelle...");
  //pic_enable_interrupt();
  print("Booting Bringelle...");
  MBI_TAG_BL_NAME bl_infos;
  if(!mb_load_bl_name(&bl_infos)){
    print(bl_infos.name);
    print(" detected!");
  }


  while(1);
}