Weijie Liu
Weijie Liu
### Background Currently, within the Asterinas, the location of a directory tree is represented by a struct `Dentry`, which is used for process-related elements such as the `root` and the...
Dear Ratel developers, Very good work! Big fan! I followed the readme and build ratel on my NUC7PJYH box machine successfully, yet encountered a problem when running the hello demo....
After several weeks of effort, we finish the "TDX + RA + JinDisk" demo and now try to merge it into the `encrypted-vm-image` demo. Necessary components for the TDX RA...
The readme in `kernel-module` indicates that the following dependencies should be installed for building the `dm-jindisk` kernel module. ``` sudo apt install dpkg-dev libncurses5-dev openssl libssl-dev build-essential pkg-config libc6-dev libc6-dev...
Big fan, great work! You mentioned a manual line-by-line translation of our machine-checked Coq implementation to C code in the Usenix Security paper. I wonder if you can share it...
When running tests with the command `make run AUTO_TEST=syscall ENABLE_KVM=1 BOOT_PROTOCOL=linux-efi-handover64 RELEASE=1`, some `epoll` tests (from gvisor) will crash. ``` EpollTest.TimeoutNoFds EpollTest.UnblockWithNewFD EpollTest.Oneshot ``` The above tests crashed with a...
This PR consists of the following modifications. - Add full epoll_pwait implementation by adding two functions `set_signal_mask` and `restore_signal_mask`, ref: https://linux.die.net/man/2/epoll_pwait - Add test applications of `epoll_wait` and `epoll_pwait`, as...
Add the capget/capset syscalls & Linux capability support (for prctl later). Also, a test application has been added to `regression/apps/capability`.
# Motivation In the development of the Asterinas Kernel, implementing the sysfs file system is essential before realizing the cgroup file system, which also benefits #703 . `SysFs`, as a...