| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-05-12 | initial workings of shared memory | Kimplul | |
| + Should document this better but essentially a server requests a shared buffer, and chan then share this buffer to a thread. Freeing the buffer is done through normal means. MR_SHARED is used for buffers that are shared, and MR_OWNED tells whoever is freeing that region that it is allowed to free the physical memory behind the shared buffer. | |||
| 2022-04-10 | add clang format and run it | Kimplul | |
| 2022-01-13 | O(1) memory region node allocation | Kimplul | |
| 2022-01-07 | Renamed region functions to not use sp_* | Kimplul | |
| 2022-01-07 | Steps towards better status/debugging control | Kimplul | |
| 2022-01-07 | Improved header dependency tree | Kimplul | |
 |
index : kmi | |
| ACTIVE - Kernel with migrating threads as IPC | kimi.h.kuparinen+kmi@gmail.com |
| aboutsummaryrefslogtreecommitdiff |