【 在 wjhtingerx 的大作中提到: 】
: 基于sel4的

根据网上关于KataOS的如下信息，KataOS主要是针对物联网终端设备的嵌入式操作系统，功耗小，安全性高，特别是保证机器学习应用的数据安全，防止其他应用软件读取为机器学习应用的采集数据。

KataOS will be a platform for embedded devices that focuses on addressing known security vulnerabilities for machine learning applications.

Generally, an embedded device's operating system will only run a single application which helps the device to do its job. Examples of embedded devices include dishwashers, banking ATM machines, routers, point of sale terminals (POS terminals) and cell phones. Devices that can connect to the Internet are called smart or intelligent

Because embedded systems have limited computing resources and strict power requirements, writing software for embedded devices is a very specialized field that requires knowledge of both hardware components and programming.
--
FROM 174.112.61.*