电力专用横向单向安全隔离的软件系统基于( )内核，实现两个安全区之间的非网络方式的安全的数据交换。