这是seL4运行机制的第1篇。截图中的代码和log不额外说明，都是指截图的最后一行 首先，我们从代码开始，这是最直观的东西。从程序中语言化的概念性的东西有点过于玄虚，汉化之后...
发简信
IP属地：北京
-
2. seL4-Capabilities -
0.0 seL4 环境搭建懒人版
1 安装docker 执行完之后如果使用docker需要加sudo，可以给docker增加root权限： 2 导入镜像 链接：https://pan.quark.cn/s/...
-
1. seL4-hello world这部分的目的是验证环境的可用性。 0 python依赖 1 拉取代码 安装几个依赖包： 2 编译 执行： 此时会生成一个新的文件夹（名字可能会变化）： 进入该文件夹，使用ni...
-
1. Docker镜像使用
1 安装 使用官方的脚本自动安装： 执行完之后如果使用docker需要加sudo，可以给docker增加root权限： 2 拉取docker镜像 这条指令是用于在 Docke...
-
0. seL4 环境搭建
系统环境：ubuntu 22.04*嫌麻烦的的话可以直接转向：0.0 seL4 环境搭建懒人版 - 简书 (jianshu.com)[https://www.jianshu....
-
Ubuntu 18.04 LTS 因安装 python3.8.10 导致终端打不开通过图标打开终端时，会一直转圈，无法打开终端。 1 首先确定python版本安装正常 使用whereis命令查看python安装是否正常。 2 重新链接python 3 al...
-
6.828 操作系统 lab2 实验报告Introduction 该 lab 主要需要编写操作系统的内存管理部分。内存管理分为两个部分： 内核的物理内存分配器 (physical memory allocator)...
-
以个人学习笔记为主
-
f1 lab1:Booting a PC翻译
更新至2018年9月13日 介绍 这个实验室分为3个部分。第一部分，主要是熟悉x86汇编语言，x86仿真器QEMU和电脑的开机引导程序。第二部分研究6.828内核的引导加载程...
-
欢迎关注我的公众号：studycode<br>微信：jingwumen777<br><br>github地址: <a href="https://links.jianshu.com/go?to=https%3A%2F%2Fgithub.com%2Fjieniu" target="_blank">https://github.com/jieniu</a><br>blog: <a href="https://links.jianshu.com/go?to=http%3A%2F%2Fyaje.fun" target="_blank">http://yaje.fun</a><br><br>
-
1 搭建实验环境系统版本：Ubuntu 18.04.3 0 介绍 mit6.828是一门经典的操作系统课程，通过这门课程可以学习到操作系统的设计与实现。据说会对linux开发很有帮助，作为一...
-
@prophet__ 那就不清楚了，可能是又有更新了吧。我从做完毕设就没有用过ros了，所以对它现在的发展也不太清楚
ROS进阶学习（三） - 对大型项目的roslaunch的建议
这个教程就是为大型项目设计roslaunch文件的一些建议，使设计出来的文件能够适用于更多的场景 1 介绍 一个大的应用一半有很多互相连接的node，每一个都有很多参数。一个...
-
C++学习笔记（二十一） - Qt高亮显示参考文献：Qt Qsyntaxhighlighter给QTextEdit设置丰富的语法高亮格式Syntax Highlighter Example 1 背景 做了个TCP客户...
-
10 C语言的妖怪！隐式声明缘起 相传2019年3月8日女神节，天降暴雨。在一个年轻程序员的电脑里，发生了一件奇异的事……他写了这样一个函数： 函数内容不重要，主要是形参是float类型，这日后导致了悲...
-
9 STM32存储结构及堆栈空间梳理分析芯片：STM32F415IDE：IAR系统：FreeRTOS（庆科） 0 背景 由于代码本身基于就是庆科修改过的FreeRTOS，又加入了别的没有完全开源的库，再加上不是自己...
-
不客气的讲，你这是我见过的最烂的影评了
《白蛇：缘起》的”少儿不宜“是国产动画业界的一大突破
文/泡泡圈漫评团 绯宅 事先提醒，千万不要错过片尾曲后的彩蛋！！！片尾曲很短一下就结束了！！！ 从电影院里走出来，我迫不及待在豆瓣上给《白蛇：缘起》打了五星，当然，按我的标准...
-
@丢丢_5407 没有诶
硕士英语课后翻译(unit 3 text A)
3-a-1 When economists began to measure the sources of economic growth, what previously...
