/Pintos-dockerfile

The dockerfile for Pintos development environment with toolchain.

Stargazers