XP学内核

``` set -as terminal-features ",*:RGB" # <-- this is the important line set -g default-terminal "tmu

前言 seL4作为微内核的代表，有很多经典思想，本文进行简单分析。 内容 seL4提供的基本服务 线程：是支持运行软件的CPU执行抽象。 调度上下文(仅MCS): Scheduling context

背景 本人使用的笔记本电脑安装了Archlinux之后，通过HDMI接口外接一个34寸带鱼屏，但是默认分辨率下无3440*1440的分辨率，一度困惑我很久，今天抽空解决了。 设置方法 其实一共就四条命

配置文件 代码文件 example.h example.c example_test.c kunit配置文件 该文件位于linux kernel代码根目录下。 .kunit/.kunitconfig

以测算spinlock开销为例，编写了一段间的demo代码，又需要的同学可以基于此在自己需要测试的代码前后插桩。

busybox快速制作rootfs脚本 sudo apt-get install build-essential zlib1g-dev pkg-config libglib2.0-dev binuti

此篇文档用于记录本人的个人读书笔记，现在需要凑50个字，所以我现在随便编辑一些文字进去。希望赶紧凑够50个字。

```shell #!/bin/bash export BUNDLE_DIR_PATH=~/.vim/bundle export VIMRC_FILE_PATH=~/.vimrc export TEM

通常的换源方法，适配于X86等平台，更新时会出现错误。 需要讲ubuntu换成ubuntu-ports。