Pintos의 원본 버전은 사용, 수정, 배포가 자유로운 라이선스로 제공됩니다. Pintos에서 작업하는 학생 및 기타 사용자들은 자신이 작성한 코드에 대한 소유권을 가지며, 이를 어떠한 목적으로든 사용할 수 있습니다. Pintos는 어떠한 보증도 제공하지 않으며, 상업성 보증이나 특정 목적에 대한 적합성 보증조차 포함되지 않습니다. 자세한 내용은 License 파일에서 라이선스와 보증의 부재에 대한 내용을 참조하십시오. 그러나 pintos-kaist의 수정된 코드는 동일한 라이선스 하에 있지 않습니다. 대신 RECEX SHARED SOURCE LICENSE를 사용하며, 이는 이 코드를 기반으로 한 작업물을 재배포해서는 안 된다는 의미입니다. 자세한 내용은 `LICENSE`를 참조하십시오.