Skip to content
@PKU-OS

PKU Operating System Course

Pinned Loading

  1. pintos pintos Public

    The pintos source distribution for PKU Operating System Course projects

    C 46 59

  2. pintos-doxygen pintos-doxygen Public

    Pintos code documentation generated by Doxygen

    HTML

  3. pku-os.github.io pku-os.github.io Public

    PKU Operating System Course Website

    CSS 2

  4. Pintos-gitbook Pintos-gitbook Public

    The gitbook for Pintos project in Peking University.

    6 4

  5. Pintos-dockerfile Pintos-dockerfile Public

    The dockerfile for Pintos development environment with toolchain.

    3

  6. sp23 sp23 Public

    HTML 8 1

Repositories

Showing 10 of 12 repositories
  • pintos Public

    The pintos source distribution for PKU Operating System Course projects

    PKU-OS/pintos’s past year of commit activity
    C 46 59 0 0 Updated Jul 9, 2024
  • sp24 Public Forked from PKU-OS/sp23
    PKU-OS/sp24’s past year of commit activity
    HTML 0 MIT 1 0 0 Updated Jun 6, 2024
  • Pintos-gitbook Public

    The gitbook for Pintos project in Peking University.

    PKU-OS/Pintos-gitbook’s past year of commit activity
    6 4 0 1 Updated May 31, 2024
  • Tacos Public

    Write your own operating system with Rust!

    PKU-OS/Tacos’s past year of commit activity
    Rust 15 1 1 0 Updated Apr 20, 2024
  • pku-os.github.io Public

    PKU Operating System Course Website

    PKU-OS/pku-os.github.io’s past year of commit activity
    CSS 2 MIT 0 0 0 Updated Feb 19, 2024
  • sp23 Public
    PKU-OS/sp23’s past year of commit activity
    HTML 8 MIT 1 0 0 Updated Jun 8, 2023
  • sp22 Public

    Spring 2022 Course Website for Operating System Course at Peking University

    PKU-OS/sp22’s past year of commit activity
    HTML 11 MIT 1 0 0 Updated Oct 14, 2022
  • rCore-plus Public Forked from rcore-os/rCore-Tutorial-v3

    Let's make Rust OS great again!

    PKU-OS/rCore-plus’s past year of commit activity
    Rust 0 GPL-3.0 475 0 0 Updated Jul 25, 2022
  • Pintos-dockerfile Public

    The dockerfile for Pintos development environment with toolchain.

    PKU-OS/Pintos-dockerfile’s past year of commit activity
    3 0 0 0 Updated Mar 1, 2022
  • Pintos-online-doc Public

    Pintos online documentation

    PKU-OS/Pintos-online-doc’s past year of commit activity
    1 0 1 0 Updated Feb 11, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…