内核启动后INIT没有启动

系统启动时，在
Freeing init memory: 88K
后就没有任何打印了。跟踪内核代码，发现已经运行到
run_init_process("/sbin/init");
但init却没有正确启动起来。

更换了平台相关的gpio代码后可以了。新的代码是使用gpiolib。

具体原因还不清楚，等待进一步研究...