/pintos-kaist-dockerized

Dockerized version of pintos KAIST. Focus on writing codes instead of setup!

Primary LanguagePascalOtherNOASSERTION

Dockerized version of pintos KAIST(ver. spring-2020). Focus on writing codes instead setup!

Requirements

  • docker
  • docker-compose

Build image and run container

docker-compose up -d

Working with VScode

  1. Install vscode docker extension
  2. Write code as usual with VScode
  3. Run container docker-compose up -d
  4. From docker vscode extension menu,right click on container and click 'attach vscode' to run shell
  5. Move to pintos directory cd /pintos
  6. Do something (i.e. make check)