Giters
PKU Operating System Course (PKU-OS)

PKU Operating System Course

PKU-OS

Geek Repo

Location:China

Home Page:https://pku-os.github.io/

Github PK Tool:Github PK Tool

PKU Operating System Course's repositories

pintos

The pintos source distribution for PKU Operating System Course projects

Language:CStargazers:39Issues:0Issues:0

sp22

Spring 2022 Course Website for Operating System Course at Peking University

Language:HTMLLicense:MITStargazers:12Issues:1Issues:0

sp23

Language:HTMLLicense:MITStargazers:8Issues:0Issues:0

Pintos-gitbook

The gitbook for Pintos project in Peking University.

Stargazers:4Issues:0Issues:0

Pintos-dockerfile

The dockerfile for Pintos development environment with toolchain.

Stargazers:3Issues:0Issues:0

Pintos-online-doc

Pintos online documentation

Stargazers:2Issues:0Issues:0

pku-os.github.io

PKU Operating System Course Website

Language:CSSLicense:MITStargazers:2Issues:0Issues:0

pintos-doxygen

Pintos code documentation generated by Doxygen

Language:HTMLStargazers:0Issues:0Issues:0

PKU-OS

Config files for my GitHub profile.

Stargazers:0Issues:0Issues:0

rCore-plus

Let's make Rust OS great again!

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0