Pintos is an operating system which runs in linux environment. In this repsitory I have edited the pintos interactive shell to accept input buffers
hanaahh21 / pintos-os Goto Github PK
View Code? Open in Web Editor NEWPintos is an operating system which runs in linux environment. In this repsitory I have edited the pintos interactive shell to accept input buffers