Skip to content
This repository has been archived by the owner on Feb 19, 2023. It is now read-only.

CCXXXI/pintos

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1,452 Commits
doc
doc
 
 
specs
specs
 
 
src
src
 
 
tests
tests
 
 
.gitignore
.gitignore
 
 
AUTHORS
AUTHORS
 
 
LICENSE
LICENSE
 
 
Makefile
Makefile
 
 
README.md
README.md
 
 

Repository files navigation

pintos

GitHub license GitHub last commit

duplicated from git:https://pintos-os.org/pintos-anon

Wiki

About

No description or website provided.

Topics

pintos

Resources

Readme

License

View license
Activity

Stars

17 stars

Watchers

1 watching

Forks

10 forks
Report repository

Releases

3 tags

Contributors 9

Languages