seL4
收录了 seL4 频道下的 50 篇内容
无 Bug 微内核 seL4 7.0.0 发布
高可靠性微内核seL4 7.0.0版本发布，提供了另外一种基于CMake的构建系统，支持源码树外构建和交互式配置。
【预告】网络研讨会｜下一代汽车操作系统微内核 seL4：seL4 基金会主席谈物理系统安全工程实践
本次研讨会，我们很荣幸的邀请到seL4基金会主席、悉尼新南威尔士大学教授 Gernot Heiser 跟大家分享他的见解和研究成果。
边缘上的容器化
本文演示了如何使用模拟器来管理和执行 seL4 上的应用。
直播回顾 | seL4 基金会主席谈物理系统安全工程实践
9月16日下午，seL4基金会主席、悉尼新南威尔士大学教授Gernot Heiser，以及鉴释CEO梁宇宁，围绕下一代汽车操作系统微内核seL4，在直播间分享了seL4的验证故事及其实际的工程实践，此次直播是中英双语进行，也体现了鉴释的国际化趋势。
华为“鸿蒙”所涉及的微内核到底是什么？一文带你认识微内核
让我们一起来认识一下微内核吧
谷歌开源安全的机器学习操作系统 KataOS
谷歌的AmbiML团队最近开源了KataOS，这是一个适用于嵌入式机器学习硬件的可证明安全操作系统。
鉴释宣布加入 RISC-V 基金会、Linux 基金会、seL4 基金会与 IoXt 联盟， 旨在实现静态代码分析服务的全方位赋能
2021年7月19日，中国深圳——近日，静态代码工具开发商鉴释科技（下文简称：鉴释）宣布其加入RISC-V基金会、Linux基金会、seL4基金会，以及IoXt联盟四大国际非盈利组织。此次加入芯片、开源操作系统、操作系统微内核与物联网四大热门领域内的知名国际组织，标
谷歌推出 KataOS 开源操作系统，基于 Rust 编写
Google本周宣布发布KataOS（开发代号Sparrow）。
Rust 语言 2022 年度回顾：开源生态发展
Rust 开源生态发展
云原生的下一步，或从 WebAssembly 在边缘取代 Docker 开始
Kubernetes+容器组合并非万用良药，对于边缘计算场景来说，它们还是太重了。
WebAssembly 如何构筑云原生的新未来？CNCF 发布 Wasm 生态全景图
“容器已成为新常态，WebAssembly 是未来。”
Rust 语言 2022 年度回顾：全球企业如何采用 Rust？
开启新的征程 ： Rust 2024 Edition
iOS 中 SEL 类型
SEL类型代表着方法的签名，在类对象的方法列表中存储着该签名与方法代码的对应关系，每个类的方法列表都存储在类对象中，每个方法都有一个与之对应的SEL类型的对象。
Verilog HDL 函数与任务的使用
其中输入表达式的排列顺序必须与各个输入端口在函数定义结构中的排列顺序一致。 关于函数的几点说明 函数不能由时间控制语句甚至延迟运算符组成。 函数至少有一个输入参数声明。 函数可以由函数调用组成，但函数不能由任务组成。 函数在零模拟时间内执行
回顾｜鉴释梁宇宁在嵌入式技术大会发表 WASM 安全性演讲
ELEXCON深圳国际电子展暨嵌入式系统展是港澳大湾区最大的电子类专业展览会，打通“智能设计-嵌入式系统-SiP系统级封装-供应链升级-AIoT生态圈”产业环节、面向电子工程师和嵌入式开发者的一场嘉年华盛宴。首日就突破2.6万观展人数。
从源代码看 ObjC 中消息的发送
如果你点开这篇文章，相信你对 Objective-C 比较熟悉
鉴释加入龙蜥社区，助力开源生态建设
近日，鉴释科技（深圳）有限公司（以下简称：“鉴释”）签署了 CLA(Contribution License Agreement，贡献者许可协议)，正式加入龙蜥社区（OpenAnolis）。
鉴释加入龙蜥社区，助力开源生态建设
近日，鉴释科技（深圳）有限公司（以下简称：“鉴释”）签署了 CLA(Contribution License Agreement，贡献者许可协议)，正式加入龙蜥社区（OpenAnolis）。
层层递进！MySQL 性能优化步骤演进，一顿饭的时间我就会了
多慢才算慢，大部分业务场景range范围查询避免不了，针对索引的优化也是达到range级别是个平衡点，所以根据根据上文索引查询时间，慢查询时间比较合理的数值：
高性能 MySQL 实战（二）：索引 | 京东物流技术团队
我们在上篇 高性能MySQL实战（一）：表结构 中已经建立好了表结构，这篇我们则是针对已有的表结构和搜索条件为表创建索引。
京公网安备 11010502039052号 | 产品资质
