Hi,

I am trying to customize 855t for a custom board. I downloaded the 800fads bsp and made changes to adjust clock speed 
and some code in init_intrinfo().

As the first step i just want kprintf to work. Its working while startup but hangs after attempting to start the kernel.
 Here is the output just before it hangs (I put a print_callout() before print_syspage() )...

program load complete, entry point: 0x80014a9c, size: 0x15184cú
  reboot:0000c710 power:00000000
  timer_load:0000c760 reload:0000c778 value:0000c7a4
  0) display:0000c7bc poll:0000c82c break:0000c8a4
  1) display:00000000 poll:00000000 break:00000000

System page at phys:0000c000 user:0000c000 kern:0000c000
Starting next program at v80051a08


thts it... it just hangs! For debugging I my first line in main() in proc/main.c is
kprintf("Hello world\n"). Why doesnt it print this?????