Pedro Henrique Penna
Pedro Henrique Penna
# Description The following unit tests were intentionally disabled, due to unknown issues. We should track and fix related bugs and then re-enable these tests. ## All Targets - [...
# Description Currently, we are using a hardcoded performance counter to run `kstats()`. We should be more flexible than this and use a macro-defined counter instead.
Description ------------------- We should introduce the following unit tests to assess the Signal Kernel Calls. **API Tests** - [ ] Register and Unregister a Signal Halder (a9e9f2a967dda7b5438d2b9bd02797032222c2bd) - [ ]...
Description --------------- The following interface should be supported, in order to enable threads to catch, send and manage signals. **Structures** - `struct sigaction`: describes actions on the receipt of a...
Description ---------------- The following unit tests for assessing the Kernel Calls should be introduced. **API Tests** - [ ] Sanity Check Execution Context After a Kernel Call **Fault Injection Tests**...
# Description We should introduce the following enhancements in the the Memory Manager: - Remote TLB shotdown in `upage_map()` - Remote TLB shootdown in `upage_unmap()`
Description --------------- The following interface should be exported by the kernel so as to enable user-level programs to manipulate the memory. **Functions** - `err = pgmap(vaddr, mode)`: maps a page...
**Description** The Memory System should provide handlers for the following exceptions: - [X] TLB Fault - [ ] Page Fault - [ ] Page Protection **Related Commits** - [Feature: Memory...
# Description We should invalidate the underlying cache data cache of a core when entering and leaving data caches.