Chen Yang

discoverability of bitfield functions

9

How do functions in structures_gen.h get generated?

virtualizaion on new arch and platform

5

I have now ported seL4 to LoongArch and passed all test in seL4test. The next thing I want to do is trying to build system on the kernel. My initial...

Where is the fault handler？

5

> In seL4, when a thread generates a thread fault, the kernel will block the faulting thread’s execution and attempt to deliver a message across a special endpoint associated with...

Port elfloader to loongarch and run on the loongson 3A5000 platform. [This is an environment for running loongarch bios and OS on X86 machines](https://github.com/foxsen/qemu-loongarch-runenv) Corresponding pull requests for seL4, sel4runtime,...

Question about benchmark results

1

Chapter 6 of the seL4 white paper states that the overhead of a round-trip IPC is approximately 720 cycles. Up-to-date performance results listed on the [seL4 Benchmarks page] (https://sel4.systems/About/Performance/) look...