pintos toolchain on ubuntu 20
git clone https://github.com/mengwanguc/pintos-toolchain.git
export PATH=$PATH:/home/CNETID/pintos-toolchain/bin
forked from mengwanguc/pintos-toolchain
-
Notifications
You must be signed in to change notification settings - Fork 1
ruidan-li/pintos-toolchain
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
pintos toolchain on ubuntu 20
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C 53.4%
- Roff 29.0%
- C++ 17.0%
- Shell 0.2%
- XC 0.2%
- XS 0.2%