·?支持多核的分區系統介紹

o?國外嵌入式廠商的分區系統產品

o?國內嵌入式廠商的分區系統產品

o?國內外開源分區系統介紹

·?支持多核的分區系統基本架構

o?SKH(Separation?Kernel Hypervisor)分區架構

o?分區系統的基本需求分析

o?分區系統未來應用方向

·?結合支持多核的PRTOS分區系統原型討論多核分區系統的設計與實現技術

o?分區運行時環境

o?分區時間和空間隔離

o?分區健康監控機制

o?單核/多核分區調度分析

o?單核/多核分區系統CPU和vCPU的對應關系

o?分區SMP架構以及分區系統內核SMP架構設計;

o?分區系統加載原理和資源配置

·?結合PRTOS的SDK,分析分區系統的開發和應用

o?分區間通信機制

o?分區健康監控機制

o?分區Trace機制

o?分區多核配置

o?分區內核的多核配置

o?分區內核的多核(Multi-CPU)初始化過程

o?分區時鐘管理

·?針對微內核和SKH的設計思想展開討論

·?針對SKH和Linux Kernel關系進行討論

·?針對SKH的技術生態展開討論(e.g.開源社區,Linux Kernel生態關系).