PKU-OS

China

Pinned Repositories

pintos
The pintos source distribution for PKU Operating System Course projects
Language:C39 0 045
Pintos-dockerfile
The dockerfile for Pintos development environment with toolchain.
3 0 00
pintos-doxygen
Pintos code documentation generated by Doxygen
Language:HTML0 0 00
Pintos-gitbook
The gitbook for Pintos project in Peking University.
4 0 04
Pintos-online-doc
Pintos online documentation
10
PKU-OS
Config files for my GitHub profile.
00
pku-os.github.io
PKU Operating System Course Website
Language:CSS2 0 00
sp22
Spring 2022 Course Website for Operating System Course at Peking University
Language:HTML11 1 01
sp23
Language:HTML8 0 01
Tacos
Write your own operating system with Rust!
Language:Rust121

PKU-OS's Repositories

PKU-OS/pintos
The pintos source distribution for PKU Operating System Course projects
Language:C39 0 045
PKU-OS/Tacos
Write your own operating system with Rust!
Language:Rust121
PKU-OS/sp22
Spring 2022 Course Website for Operating System Course at Peking University
Language:HTML11 1 01
PKU-OS/sp23
Language:HTML8 0 01
PKU-OS/Pintos-gitbook
The gitbook for Pintos project in Peking University.
4 0 04
PKU-OS/Pintos-dockerfile
The dockerfile for Pintos development environment with toolchain.
3 0 00
PKU-OS/pku-os.github.io
PKU Operating System Course Website
Language:CSS2 0 00
PKU-OS/Pintos-online-doc
Pintos online documentation
10
PKU-OS/pintos-doxygen
Pintos code documentation generated by Doxygen
Language:HTML0 0 00
PKU-OS/PKU-OS
Config files for my GitHub profile.
00
PKU-OS/rCore-plus
Let's make Rust OS great again!
Language:Rust0 0 00
PKU-OS/sp24
Language:HTML