/*
 *-----------------------------------------------------------------------------
 *
 * entry.c --
 *
 *    Entry point of protected mode C code for CPUID. This completes
 *    protected mode setup (initialized IDT) and installs serial port,
 *    video, and keyboard handlers, then calls cpuid.
 *
 *-----------------------------------------------------------------------------
 */

#include <cpuid.h>

static char banner[] = "=========================== Welcome to CPUID! ===========================\n\n";

void
entry (void)
{
   print_str (banner);

   create_idt ();
   nmi_on ();
   sti ();

   create_heap ();
   setup_log ();

   timer_init ();
   keyboard_init ();


/*    serial_init (); */

/*   do_cpuid (); */

   /* loop forever */
   halt ();
}