关于Philips 手机系统开发平台的RTK的一些介绍。

L4开发工具描述，如何配置L4，L4启动过程，L4debugger等。