Seiya Nuta
Seiya Nuta
Currently. Kerla extensively uses containers provided by liballoc. The problem is they can panic on memory allocation failures. Use failable methods (i.e. returning `Result`) to improve the robustness. ## Alternatives...
Glibc, the de facto libc implementation in Linux, tends to use non-trivial Linux-specific features (`/proc`) and it makes harder to support applications built with glibc. This issue aims to implement...
See https://code.visualstudio.com/docs/remote/containers
Interestingly, Resea Kernel is used to be written in Rust. However, it soon be rewrote in C because of the following drawbacks: - It tends to consume too much kernel...
## Goals - Declarative UI inspired by Flutter and Swift UI. - No app-local pixel rendering: Apps share its content state (see an example below) with the GUI server. Unlike...
Currently, the handle management library ([libs/resea/handle.c](https://github.com/nuta/resea/blob/main/libs/resea/handle.c)) use the pair of a client task ID and task-local ID (`handle_t`) as a *handle*, e.g., file handle in fs servers and TCP sockets...
## TODOs - [ ] Get the board - [ ] make: Support flashing built image - [ ] kernel: Write machine-specific code (serial port and timer driver) - [...
We now have a hardware-accelerated hypervisor and it supports booting Linux. Let's improve it so that we can develop on Linux on Resea.
Kernel Address Sanitizer (KASAN) is a runtime memory error (e.g. use-after-free) checker. While it is "kernel" address sanitizer, we can use it in the userspace. Briefly speaking, when KASAN is...