本文是学习 seL4 时的一些笔记。
SELinux 域转换流程分析
发表于
分类于
Security
本文将简单分析 SELinux 域转换部分的源码。
Linux 源码中的 CAN 总线
发表于
分类于
Security
下面是学习 Linux 源码中与 CAN 总线相关部分的笔记,基于 Linux 5.10 版本。
Linux 安全模块
发表于
分类于
Security
简单分析了 LSM(Linux 安全模块)的设计与实现,基于 Linux 5.10 版本的源码。
GeekGame 2021 Writeup
SELinux 学习笔记
因为项目要求学习了一下 SELinux,学习笔记记录如下。
WSL2 代理设置
发表于
分类于
util
WSL2 是神器,可以方便地在 windows 下进行 linux 编程,但是里面有个大坑就是 WSL2 的代理设置,让我一直难连上 Github。经过一番折腾,终于让 WSL2 走了系统代理,下面简单记录一下流程。
向量空间模型求文档相似度
发表于
分类于
NLP