KataOS是谷歌开发为嵌入式设备准备的操作系统，KataOS 选择了 seL4 作为微内核，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。通过 seL4 CAmkES 框架，KataOS 还能够提供静态定义和可分析的系统组件。KataOS 提供了一个可验证的安全平台，保护用户的隐私，因为应用程序在逻辑上不可能违反内核的硬件安全保护，并且系统组件是可验证安全的。...详情>>
谷歌宣布推出 KataOS 操作系统，目标是为嵌入式设备提供安全系统。谷歌表示，随着我们发现自己被越来越多的从环境中收集和处理信息的智能设备所包围，需要有一个简单的解决方案来为嵌入式硬件构建可验证的安
商业圈支付宝已支持给微信 / QQ好友转账：可扫描二维码领取支付宝现在已可以给微信/QQ等好友转账了，但不是直接转账，而是输入金额后会生成一个二维码，然后微信/QQ好友可以使用支付宝App扫码领取，超
