* @APPLE_FREE_COPYRIGHT@
*/
-#include <mach_kdb.h>
-#include <platforms.h>
#include <kern/spl.h>
#include <mach/std_types.h>
#include <types.h>
int chr;
uint64_t next;
-
while(1) {
chr = _serial_getc(0, 1, 0, 1); /* Get a character if there is one */
if(chr < 0) /* The serial buffer is empty */