Age | Commit message (Expand) | Author |
---|---|---|
2024-07-25 | kernel: pass more information to user on interrupt | dzwdz |
2024-07-14 | kernel: rework postqueue | dzwdz |
2023-01-25 | style: typedef structs, shorter namespaces | dzwdz |
2021-09-18 | merge `kernel/types.h` and `init/types.h` | dzwdz |
2021-09-11 | replace `user_ptr` with a linux-style `__user` annotation | dzwdz |
2021-09-05 | error out when <*/types.h> isn't included in headers which need it | dzwdz |
2021-08-24 | switch to using user_ptr for pointers coming from userland | dzwdz |