debug-my-pintos
debug-my-pintos copied to clipboard
找到一个类似的教程
https://github.com/LiangLouise/pintos_dev_container