Monad
Monad
As title. Make `aster-nix` modify `UserContext` registers through `UserContextApi`, instead of accessing the registers directly. This could help to reduce the degree of architecture-related coupling.
This issue is used to track the development of RISC-V architecture support. ### Proposed Steps 1. Refactor existing architecture-related code, so that new architecture could be easier to add (i.e....
### Motivation `getrandom` doesn't support architectures other than x86_64 with `rdrand` on bare-metal environment. So, a algorithmic RNG is needed. ### This PR This PR introduces a seedable RNG [`StdRng`](https://docs.rs/rand/latest/rand/rngs/struct.StdRng.html),...
As title. 1. Move `impl TdxTrapFrame for TrapFrame` to `x86/tdx_guest.rs` 2. Move `trap_handler` entry point and `handle_kernel_page_fault` to `x86/trap.rs`
It seems `sysv64` is not available on some architectures, for example, RISC-V (https://godbolt.org/z/oqbfb6Er4). So for such architectures, other ABIs are needed instead. So, a specific ABI should not appear outside...
Add RISC-V base support as described in #777. Based on - #1071 - #1087
Follows https://github.com/asterinas/asterinas/pull/1071#issue-2418368378. It's not always possible to obtain `not_present` in all architectures, that is, page fault exception in some architectures, say RISC-V, cannot distinguish whether it's caused by PTE missing...
As title. Extract x86's exception logging and exception → signal mapping to `arch/x86`. --- And one more question, https://github.com/asterinas/asterinas/blob/94eba6d85eb9e62ddd904c1132d556b808cc3174/kernel/aster-nix/src/thread/exception.rs#L33-L65 how are `not_present` and `write` being used? Well, I see `not_present`...
## Summary Use [Nix](https://nixos.org/) build system to build initrd image (and it can also be used to manage the development environment). ## Motivation Currently, Asterinas uses Makefile to build initrd,...
I admit that this is "workspace" code and is a unacceptable PR, so this PR is marked as draft and will never be merged. The purpose of this PR is...