yyshen

> Thanks.In addition to this,I don't seem to see that the kernel set Fault Handler for the initial thread(sel4test-driver) when it created it.Is that so?Is the seL4test project currently running...

I have not looked at the LoongArch closely. Could explain if LoongArch has hardware support for virtualisation? If so, are there any documents about it? Thanks

> LoongArch provides virtualization support,but there is no official documentation yet. You may take a look at how Armv8 virtualisation is supported in the kernel and implement the support for...

@ssrg-bamboo `test`

@ssrg-bamboo `test`

> `generic_ipi_send_mask()` was introduced to allow each architecture to provide it's own optimized IPI send function ([40970c3](https://github.com/seL4/seL4/commit/40970c300ec5c88f6c52a0e25b17a56e59183526)). So if you want to change RISC-V then you can do this without...

@ssrg-bamboo `test`

@kent-mcleod any comments?

> This is inconsistent with `SCTLR_EL1_NATIVE` in vcpu.h which sets `sctlr_el1.uci` for native seL4 threads if hyp mode is enabled. Do you remember why it is set in this case?...

https://mysqlonarm.github.io/ARM-LSE-and-MySQL/