pintos-os.org Git - pintos-anon/search

2021-04-15	John Ousterhout	Updated to use Bochs 2.6.11	commit \| commitdiff \| tree
2021-01-12	John Ousterhout	Small bug fixes in gdb macros	commit \| commitdiff \| tree
2020-06-27	John Ousterhout	Undo accidental LDFLAGS modfication from b568df7ae9	commit \| commitdiff \| tree
2020-05-19	John Ousterhout	Convert tabs to spaces in design doc templates	commit \| commitdiff \| tree
2020-05-12	John Ousterhout	Remove "insult" example	commit \| commitdiff \| tree
2020-05-12	John Ousterhout	Mark test alarm-priority as timing-sensitive	commit \| commitdiff \| tree
2020-05-12	John Ousterhout	Document threads tests that may fail under jitter	commit \| commitdiff \| tree
2020-03-26	John Ousterhout	Fix link errors with GCC 10 and binutils 2.34 on Fedora	commit \| commitdiff \| tree
2020-03-26	John Ousterhout	Fix ld output with recent versions of GCC and binutils	commit \| commitdiff \| tree
2018-03-28	John Ousterhout	Fix problems compiling documentation	commit \| commitdiff \| tree
2015-12-18	John Ousterhout	Clarified wording in design question A2 for vm	commit \| commitdiff \| tree
2015-12-18	John Ousterhout	Make docs compile again	commit \| commitdiff \| tree
2015-12-17	John Ousterhout	Updates for new version of qemu	commit \| commitdiff \| tree
2015-12-17	John Ousterhout	Fsutil_ls must close the directory after reading it	commit \| commitdiff \| tree
2015-12-17	John Ousterhout	Patches to make Bochs 2.6.2 work with Pintos	commit \| commitdiff \| tree
2015-12-17	John Ousterhout	Fixes exec-bound-3 failures	commit \| commitdiff \| tree
2015-12-17	John Ousterhout	Fixed typo in docs Section 3.1.4.1 (0x08084000 => 0x08048000)	commit \| commitdiff \| tree
2015-12-17	John Ousterhout	Remove mention of CS 107 from localsettings.texi	commit \| commitdiff \| tree
2015-12-17	John Ousterhout	Switch docs to use Git instead of CVS by default	commit \| commitdiff \| tree
2015-12-17	John Ousterhout	Added more userprog tests, mostly relating to boundary...	commit \| commitdiff \| tree
2015-12-17	John Ousterhout	Minor documentation updates	commit \| commitdiff \| tree

Pintos public repository

RSS Atom