近十万字的腾讯云技术汇编来啦,即刻下载,获悉行业最新动向! 了解详情
写点什么

seL4

收录了架构频道下的 50 篇内容

【预告】网络研讨会|下一代汽车操作系统微内核seL4:seL4基金会主席谈物理系统安全工程实践
【预告】网络研讨会|下一代汽车操作系统微内核 seL4:seL4 基金会主席谈物理系统安全工程实践

本次研讨会,我们很荣幸的邀请到seL4基金会主席、悉尼新南威尔士大学教授 Gernot Heiser 跟大家分享他的...

自动驾驶
操作系统
微内核
直播回顾 | seL4基金会主席谈物理系统安全工程实践
直播回顾 | seL4 基金会主席谈物理系统安全工程实践

9月16日下午,seL4基金会主席、悉尼新南威尔士大学教授Gernot Heiser,以及鉴释CEO梁宇宁,围绕下一代汽车...

自动驾驶
操作系统
微内核
在线研讨会
无 Bug 微内核 seL4 7.0.0 发布

高可靠性微内核seL4 7.0.0版本发布,提供了另外一种基于CMake的构建系统,支持源码树外构建和交互式配置。

鉴释宣布加入RISC-V基金会、Linux基金会、seL4基金会与IoXt联盟, 旨在实现静态代码分析服务的全方位赋能
鉴释宣布加入 RISC-V 基金会、Linux 基金会、seL4 基金会与 IoXt 联盟, 旨在实现静态代码分析服务的全方位赋能

静态代码工具开发商鉴释科技(下文简称:鉴释)宣布其加入RISC-V基金会、Linux基金会、seL4基金会,以及...

Linux
IoT
静态代码分析
C 语言学生管理系统

设计并实现一个学生信息管理系统,能够对一个文件中所存储的学生信息进行各种常见操作,如排序、查找、计算...

C语言
学生成绩管理系统
11月月更
KVC原理与数据筛选
KVC 原理与数据筛选

KVC在处理简单数据类型时会经过数据封装和拆装并转换为对应的数据类型。通过KVC的特性我们可以在日常使用中...

后端
数据处理
KV存储引擎
KV查询
谷歌推出 KataOS开源操作系统,基于Rust编写
谷歌推出 KataOS 开源操作系统,基于 Rust 编写

Google本周宣布发布KataOS(开发代号Sparrow)。

【iOS 逆向】小陈手牵手带你看懂 iOS 伪代码

上一篇文章带大家简单的入门了iOS开发,本文以上篇文章的二进制文件为例,带大家如何在IDA Pro里看懂iOS的...

移动安全
iOS逆向
ios安全
Kubectl 命令总结

kubectl 常用命令指南

图文实录|UIE:基于统一结构生成的通用信息抽取
图文实录|UIE:基于统一结构生成的通用信息抽取

第二期「澜舟NLP分享会」邀请到来自中科院软件所中文信息处理实验室研究员韩先培分享演讲“UIE:基于统一...

eNSP常用命令 华为模拟器eNSP常用命令
eNSP 常用命令 华为模拟器 eNSP 常用命令

​路由器常用命令:进入任务视图给路由器取名,进入指定接口,给当前路由器接口配置IP地址和子网掩码,退出...

10月月更
【iOS 逆向】某运营商签名算法分析

分析某运营商App的x-lemon-sign签名

逆向思维
逆向
iOS逆向
逆向分析
当 WASM 遇见 eBPF:使用 WebAssembly 编写、分发、加载运行 eBPF 程序 | 龙蜥技术
当 WASM 遇见 eBPF:使用 WebAssembly 编写、分发、加载运行 eBPF 程序 | 龙蜥技术

我们希望能做一些将二者相互融合的尝试:使用 WASM 来编写通用的 eBPF 程序,然后可以将其分发到任意不同...

开源
操作系统
内核
ebpf
Wasm
ESP32-C3入门教程 基础篇(二、GPIO中断、按键驱动测试)
ESP32-C3 入门教程 基础篇(二、GPIO 中断、按键驱动测试)

测试第二课,主要了解GPIO中断使用,和测试按键驱动

GPIO
ESP32-C3
按键驱动
9月月更
【iOS 逆向】某不知名 App 越狱检测

此篇文本为入门文章,大家莫抱过多期望。此文章的目的是教大家如何从UI入手,去定位自己想要的东西。

iOS逆向
ESP32-C3入门教程 基础篇(七、LEDC — LED PWM 控制器)
ESP32-C3 入门教程 基础篇(七、LEDC — LED PWM 控制器)

ESP32-C3 入门教程第7课,基本的PWM控制器测试。

pwm
ESP32-C3
9月月更
手把手教你君正X2000开发板的OpenHarmony环境搭建
手把手教你君正 X2000 开发板的 OpenHarmony 环境搭建

本文主要介绍基于君正X2000开发板的OpenHarmony环境搭建以及简单介绍网络配置情况。

鸿蒙
后端
IoT
企业号九月金秋榜
爬虫与反爬虫技术简介

本文一方面从爬虫与反反爬的角度来说明如何高效的对网络上的公开数据进行爬取,另一方面也会介绍反爬虫的...

爬虫
反爬虫
【iOS 逆向】某营业厅算法分析

使用frida stalker分析某营业厅的签名算法。

seL4专题_资料-InfoQ中文网