In chapter 4, embedded real-time reconfigurable operation system which supports IRL platform is described in detail.

• 第四章,详细叙述了支持该IRL平台的嵌入式实时可再配置操作系统。