Gabriel Parmer
Gabriel Parmer
Add a github [pull request template](https://docs.github.com/en/github/building-a-strong-community/creating-a-pull-request-template-for-your-repository) to make sure all contributors understand the requirements.
The capability manager currently is part of the scheduling hierarchy. It exports the `init` interface, and all of its associated complexity. It uses `sl` to perform some of its initialization....
### Summary of this Pull Request (PR) Initial `slm` implementation that is designed to 1. simplify the current `sl` codebase by removing hierarchical scheduling, 2. removing allocation from the core...
### Summary of this Pull Request (PR) **Add description here.** ### Intent for your PR Choose one (Mandatory): - [ ] This PR is for a code-review and is intended...
We should really not be reviewing style as much as we do. Integrate `checkpatch`[^1][^2] to offload some of it, and our auto-formatter [^3] for the rest. Identify what style issues...
## The Problem Currently, if a low-level component uses the `cos_defkernel_api`, it must perform initialization (before running anything else) via - `cos_meminfo_init` - `cos_defcompinfo_init` and - `cos_hw_cycles_per_usec` If the component...
## Background The kernel maintains a list of asynchronous events to be delivered to the (core's) scheduler thread. These include the activation of threads through `asnd`s from interrupts, the preemption...
Currently, if Rust is not installed, the build will error out looking for `cargo`. We should make a list of dependencies, check them in `cos init`, and make suggestions for...
When booting (in `boot_comp.c`), the BSS is allocated with kernel typed memory (which is bug #1), and then the retype machinery allows it to be mapped in despite it being...