projects / pintos-anon / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionPintos public repository
ownerBen Pfaff
last changeSat, 29 May 2021 19:05:19 +0000 (12:05 -0700)
URLgit://pintos-os.org/pintos-anon
shortlog
2021-05-29 Yuzhuo Jingrandom: Fix behavior of kernel option "-rs". master commit | commitdiff | tree | snapshot
2021-05-29 Yuzhuo Jingrtc: Fix Unix epoch conversion from RTC time. commit | commitdiff | tree | snapshot
2021-04-15 John OusterhoutUpdated to use Bochs 2.6.11 commit | commitdiff | tree | snapshot
2021-01-12 John OusterhoutSmall bug fixes in gdb macros commit | commitdiff | tree | snapshot
2020-06-27 John OusterhoutUndo accidental LDFLAGS modfication from b568df7ae9 commit | commitdiff | tree | snapshot
2020-05-19 John OusterhoutConvert tabs to spaces in design doc templates commit | commitdiff | tree | snapshot
2020-05-12 John OusterhoutRemove "insult" example commit | commitdiff | tree | snapshot
2020-05-12 John OusterhoutMark test alarm-priority as timing-sensitive commit | commitdiff | tree | snapshot
2020-05-12 John OusterhoutDocument threads tests that may fail under jitter commit | commitdiff | tree | snapshot
2020-05-10 Ben Pfafffsutil: Fix writing end-of-archive marker. commit | commitdiff | tree | snapshot
2020-03-26 John OusterhoutFix link errors with GCC 10 and binutils 2.34 on Fedora commit | commitdiff | tree | snapshot
2020-03-26 John OusterhoutFix ld output with recent versions of GCC and binutils commit | commitdiff | tree | snapshot
2018-03-31 Farshad Ghaneitimer: Fix timer calibration logic. commit | commitdiff | tree | snapshot
2018-03-28 John OusterhoutFix problems compiling documentation commit | commitdiff | tree | snapshot
2018-02-15 Farshad Ghaneidoc: Fix typo. commit | commitdiff | tree | snapshot
2017-10-29 Darshit ShahOn newer systems -ltinfo needs to be explicitly added... commit | commitdiff | tree | snapshot
...
heads
2 years ago master shortlog | log | tree
8 years ago jopreview shortlog | log | tree
15 years ago blp-usb shortlog | log | tree
15 years ago usb-integration-aug08 shortlog | log | tree
17 years ago sum0506 shortlog | log | tree
18 years ago eraser shortlog | log | tree
18 years ago adar-usb shortlog | log | tree
19 years ago win0405 shortlog | log | tree
19 years ago usb shortlog | log | tree
Pintos public repository