[发明专利]基于微内核机制的嵌入式虚拟化系统实现方法

权利要求书

1.一种基于微内核机制的嵌入式虚拟化系统实现方法，其特征在于，包括以下步骤：

S1：根据实际情况从嵌入式设备的处理器资源中划分出虚拟系统资源，然后对虚拟系统资源进行分区，得到若干客户机资源分区和共享资源分区，每个资源分区包括若干CPU，每个客户机资源分区将作为一个独立的执行环境去执行一个客户机操作系统内核，共享资源分区由各客户机共享使用；

S2：将预设的基于微内核的虚拟机管理程序、客户机操作系统内核以及各个客户机的引导工具的映像烧写至嵌入式设备的存储器中；

S3：嵌入式设备开机，加载虚拟机管理程序映像到内部SRAM中，并完成内存初始化；

S4：虚拟机管理程序为用户选择的客户机选择一个客户机资源分区并对该资源分区进行初始化，然后将该客户机的引导工具映像加载至DRAM中并执行该引导工具；

S5：虚拟机管理程序开启虚拟系统资源的分区访问控制，虚拟机管理程序由用户进行权限配置，然后根据当前加载的客户机引导工具对所要引导的客户机进行权限配置，虚拟机管理程序和所要引导的客户机根据所配置权限对客户机资源分区内的资源进行协作控制；

S6：在开启分区访问控制的同时，步骤S4中所加载的引导工具将客户机操作系统内核对应的映像加载至对应的客户机资源分区；

S7：在客户机运行过程中基于rpmsg框架实现客户机跨核通信，具体方法为：在每个客户机中配置一个rpmsg前端，在虚拟机管理程序中配置rpmsg后端，客户机中的rpmsg前端通过虚拟机管理程序中的rpmsg后端与其他可用的客户机进行通信，并通过分区访问控制中的权限配置来限制不同客户机通信权限。

2.根据权利要求1所述的嵌入式虚拟化系统实现方法，其特征在于，所述虚拟机管理程序为每个客户机维护一个访问权限空间CSpace，CSpace是一个有向图，其中每个节点Cnode包括若干槽位，每个槽位包含一个具体功能访问结构或者包含指向下一级节点CNode的句柄；当引导运行某个客户机操作系统内核时，虚拟机管理程序为其维护一个CPTR指针，该指针用于指向该客户机访问权限空间CSpace的根节点，每个客户机所拥有的访问权限空间CSpace均为初始访问权限空间CSpace的有向子集，当客户机需要请求内存或其他需要陷入虚拟机管理程序的功能访问操作时，虚拟机管理程序读取为该客户机保存的CPTR指针，然后通过寻址查询该功能访问的操作权限，实现客户机的权限控制。