Two instances have cropped up. The base-hw kernel which loaded quite perfectly till two runs back suddenly fails to load. It does't even boot init anymore. It prints the error "failed to communicate thread event". This is very sudden and quite shocking. Could it be a h/w fault?

Prior to this, we ran a sample gpio led blinking program. The board itself seems to have been bricked/unresponsive. 

But, a simple printf program itself fails to load. What could be the issue?

Thanks

Aditya.