这是seL4运行机制的第1篇。
截图中的代码和log不额外说明，都是指截图的最后一行
首先，我们从代码开始，这是最直观的东西。从程序中语言化的概念性的东西有点过于玄虚，汉化之后就更加铺所迷离的。
首先初始化capabilities并编译：
./init --tut capabilities
ninja
然后运行：
./simulate
最开始我们会看到下面的log：
对照程序来看，首先我们看到了CNode里面slots的数量。
对应到程序的下面一行：
然后是输出CNode的大小为0：
对应到程序的：
这里需要计算CNode的大小。
CNode里面包含的是capability，每个capability所在的位置叫一个slot。
所以我们计算CNode的大小也就是计算这些slot占了多少空间，slot的大小是用seL4_SlotBits定义的（为了平台的兼容性），所以计算方法如下：
size_t initial_cnode_object_size_bytes = initial_cnode_object_size * (1u << seL4_SlotBits);
再次编译运行，就计算出大小了：
我们再往下看log，它最后报了一个错误：
对应的代码是这里：
为啥呢？ 这明显他把一个capability复制到了first_free_slot：
然后又搞了一个last_slot,这里面根本没有任何capability：
所以按照提示，我们把first_free_slot复制给他就行了：
error = seL4_CNode_Copy(seL4_CapInitThreadCNode, last_slot, seL4_WordBits,
seL4_CapInitThreadCNode, first_free_slot, seL4_WordBits,
seL4_AllRights);
ZF_LOGF_IF(error, "Failed to copy cap!");
再次编译运行，输出是：
对应下面的程序:
根据提示我们知道这里应该删除slot。 我们使用下面的函数删除：
seL4_CNode_Revoke(seL4_CapInitThreadCNode, seL4_CapInitThreadTCB, seL4_WordBits);
也可以用seL4_CNode_Delete ,这个函数需要删除两次，seL4_CNode_Revoke可以把所有复制出capability都删除。
另外，seL4_CNode_Move函数在移动的源位置为空时就会出现seL4_FailedLookup错误。
编译运行，结果如下：
这次又报错没有挂起线程了。 对应下面的代码：
使用seL4_TCB_Suspend 函数挂起：
seL4_TCB_Suspend(seL4_CapInitThreadTCB);
再次编译运行:
