colorglass

最近参考了本项目一些部分来构建自己的操作系统，但是发现在gdt的初始化有问题。如下是 /kern/gdt.c:gdt_init() 中的内容： ``` /* null descriptor */ gdt_install(0, 0, 0, 0, 0); /* kernel code segment type: code addr: 0 limit: 4G gran: 4KB sz: 32bit */ gdt_install(SEL_KCODE, 0,...

个人目前使用的环境下没有库中支持的对应的随机数生成函数，故希望能够添加如函数钩子等功能，以让用户使用自定义的随机数生成器，提供更加灵活的部署环境与使用场景。

The function ```fault_get_data_mask()``` only produce the mask within 32 bits which meas it **can't** return a mask like ```0xffffffff00000000``` with 64 bits ```seL4_Word```. https://github.com/seL4/seL4_projects_libs/blob/eb42051d1217405832165869e034ab8860ed4129/libsel4vm/src/arch/arm/fault.c#L494 Thus for some data structures like...

sel4vm: Switch to use ```seL4_LargePageObject``` in VM's RAM register to reduce the memory overhead

2

I was working around with the default ```vm_minimal``` for ```qemu-arm-virt``` 64bits platform and tried to allocate 2GB RAM for the VM linux and got some allocation fail error. ``` ./simulate:...