Dockerized version of pintos KAIST(ver. spring-2020). Focus on writing codes instead setup!
- docker
- docker-compose
docker-compose up -d
- Install vscode docker extension
- Write code as usual with VScode
- Run container
docker-compose up -d
- From docker vscode extension menu,right click on container and click 'attach vscode' to run shell
- Move to pintos directory
cd /pintos
- Do something (i.e.
make check
)