- 博客(14)
- 收藏
- 关注
RSS订阅原创 seL4(2)-权能
在配置好环境并且可以运行 hello world 后，开始学习seL4 的权能 capabilities。与hello world类似，先做好基础的工作（本来想直接学习中断的，发现还不行，和haskell-stack相关的有个地方可能网络有问题，ninja报错，不理解。还是先一步一步跟着 tutorials 学）。权能这部分需要学习 CNode, CSpace, CSlot，学会如何触发一个权能capability，如何删除和拷贝CSlots。权能这部分的学习我还参考了PPT。
2023-12-20 15:26:50
1118
原创 seL4(1)-配置和运行
最近在学习微内核和虚拟化的知识，seL4是经过形式化验证的微内核，并且也是一个hypervisor，很值得学习一下~ 之前没有看过源码，现在没办法必须要看一下了。
2023-12-20 11:12:50
875
1
原创 Ubuntu共享文件夹
记得以前弄过共享文件夹，没遇到多大的问题，这次还弄了半天，还是记录一下。下面这篇参考文章解决了我的问题。好像下面这种解决是一次性的。，无法创建目录，只读的情况，这时候。重启一下，应该就会好了。
2023-09-03 17:59:45
309
原创 DevEcoStudio安装与使用
配置ohpm的时候一直出问题，在initializing的时候报错。可能是node之前安装过不合适的版本吧，我也不太清楚。安装的3.0跑不起code-labs里的project，发现要3.1及以上版本才可以，但是3.1版本里面配置ohpm一直有问题。create的时候给出的模板那些跑不起来，需要把文件复制粘贴到对应路径，才能跑。而且也要3.1的版本打包成hap，才能在我现在需要完成的任务的平台里跑起来。，把增加的 pages 填上，不然会报错，但我看到3.1里面好像没有这个。其它的解决办法我不知道了。
2023-09-02 11:33:06
1039
原创 CUnit 安装过程记录
最近在学习 Cunit 和单元测试的知识，记录一下过程以便后续复盘。首先需要下载cunit: CUnit-2.1.3.tar.gz。
2023-08-29 11:39:34
140
原创 VSCode remote - SSH 记录遇到的两个问题
最近在学习一些东西，因为vi还是用得不舒服，所以准备通过vs code看代码。连虚拟机都花了我一个小时，哎，万事开头难。稍微记录一下我遇到的问题，还有搜索到的方案。
2023-08-23 11:37:06
1794
2
原创 安装CodeWarrior遇到的问题
这个安装了两个小时，晕，查了好久问题是什么。首先是打开exe告诉我注册失败了，弄了好多方法，虽说打开那个注册的bat说我成功了，可是还是不行。方法是这样的，我就略过中间复杂的过程了，首先就是要取消那个什么管理员禁用之类的玩意。可是我的win10家庭版没有用户与组件之类的，其实我也搞不太懂，这时候就要，重点来啦：新建txt，再把它改成cmd。这个是网上找到的解答。再使用管理员身份运行。这时候可...
2020-04-03 15:48:26
2069
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人