- Request sanity check for this idea: I'm experienced with C, want to do an OS project, but also want to learn CPP - My idea is to make it in C then re-implementation parts in CPP. https://docs.sel4.systems/Tutorials/ 7 comments osdev
- Thoughts on how I should approach timer-driver? Looking for reading recommendations, and quick critique on current plan. https://docs.sel4.systems/ 3 comments osdev
- How might I approach leetcode to boost my base-level skills? Already experienced. https://docs.sel4.systems/ 19 comments learnprogramming