hungry-foolish
hungry-foolish
It might be possible to add a core ID attribute to those page table capabilities that contain FRAMEs. This allows the retyping to be done on a local core, and...
There are some trade-offs regarding system call/interrupt kernel assembly stub optimizations. The three implementations' trade-offs are listed as below: ## Save all registers on entry of both system call (SC)...
In the current page table interface design, the map operation always goes through many layers of page table to map in a single page. If we can use the intermediate...
The advantage of putting ASID management in the kernel (like seL4's ASID pools) is the possibility of creating separation kernels, and such separation is enforced by the kernel by default....
Current hardware capability in the kernel is not sufficient. There are many hardware operations, which can be divided into the categories listed below, and in the long run we may...
Is there any possibility to move the retyping facilities to the user level, and have a trusted user-level component take care of the retyping operations? Each time we retype, we...
We need a new user-level library design for embedded MCUs. We probably need a custom header as well, for the following reasons: - Most MCU applications are statically compiled and...