This repository has been archived by the owner on Jul 22, 2022. It is now read-only.
Implemented crates:
| Crate Name | Unikraft Counterpart | Function |
|---|---|---|
| rkalloc | ukalloc | allocator's API |
| rkallocbuddy | ukallocbuddy | implementation of rkalloc: buddy system |
| rkargparse | ukargparse | kernel arguments parsing |
| rkboot | ukboot | system initialization |
| rkgpudev | (none) | display devices support |
| rklock | uklock | mutex and semaphore |
| rkmpi | ukmpi | mailbox based IPC |
| rkplat | ukplat | platform-related code |
| rkring | ukring | lock-free ring buffer |
| rksched | uksched | scheduler's API |
| rkschedcoop | ukschedcoop | implementation of rksched: cooperative FCFS scheduler |
| rkschedpreem | (none) | implementation of rksched: preemptive RR scheduler |
| rkswrand | ukswrand | cryptographically secure random number generator |
| rktimeconv | uktimeconv | converting UNIX time to human-readable time |
Attached materials:
- Research report version 3.
- Feasibility report version 1.
- Midterm report version 3.
- Slides of final report.
- Final report version 0.
- OS image of the sudoku game example.