Isaac Woods
Isaac Woods
The README suggests that you're okay with people using this library in their own projects, but it lacks any license and so is under exclusive copyright. It'd be great if...
# Proof-of-concept - [x] Work out how to build OpenSBI - [x] Write proof-of-concept booting example - [x] Basic serial port driver - [x] Test calling into OpenSBI # Infrastructure...
- [x] Get custom domain working for the project's pages - [ ] pages: fix paths to sections on homepage (i.e. remove `poplar` from path: `/poplar/book` -> `/book`) - [...
Would be changed [here](https://github.com/IsaacWoods/poplar/blob/3393c54a6106d1a0d1cdfdba024ceaaf4969df5d/tools/xtask/src/main.rs#L133) - we don't want to clobber float registers in the kernel, so a neat way to do this at compile-time would be to just not target...
Remaining tasks: - [ ] Probably just hardcode how many IST stacks we create, and their indices - [ ] Allocate them using the kernel stack allocator (potentially for each...
[This](https://github.com/thomtl/Luna/blob/master/kernel/source/drivers/acpi.cpp#L129-L148) is a good example of how to actually do it correctly.
We need to map loader code and data into the kernel's page tables in `efiloader` as we jump into the kernel, so we can continue fetching code once we switch...
Our current boot info structure is not very flexible, hard-coding various limits, and also wastes a fair bit of space in normal cases. I think we could replace it with...