I talked to Professor Chen from Tsing Hua (http://media.cs.tsinghua.edu.cn/cn/cheny), i tried their education kernel (https://github.com/chyyuu/ucore_lab). I modified a little bit their Makefile so that it can be compiled in Mac and debug using my GKD debugger.
![Profiling ucore kernel, can see the call stack](http://peter.kingofcoders.com/wp-content/uploads/2015/04/ucore-profiling-600x401.png)