| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | New tool for running single tests in Pintos. | Filip Strömbäck | 2020-03-18 |
| * | Output the Pintos command line once more. | Filip Strömbäck | 2018-04-18 |
| * | Fixed compilation issues on the latest GCC and QEMU. | Filip Strömbäck | 2018-04-18 |
| * | make pintos-script perl 5.26 compatible | Vidar Westfelt | 2018-03-22 |
| * | imported misc scripts | klaar36 | 2017-05-19 |
| * | new file mode | klaar36 | 2017-05-19 |
| * | pintos-gdb: auto find gdb-macros path | klaar36 | 2017-05-19 |
| * | pintos script: removed cpu kvm32 setting | klaar36 | 2017-05-19 |
| * | pintos script modifications for qemu/linux | klaar36 | 2017-05-19 |
| * | pintos script modifications for qemu/solaris | klaar36 | 2017-05-19 |
| * | Add support for both qemu and qemu-system-i386 binaries in pintos | Anton S | 2016-05-04 |
| * | Added .gitignore files | klaar36 | 2015-03-20 |
| * | Initial Pintos | klaar36 | 2015-03-20 |
 |
index : pintos-rs | |
| [no description] | git |
| aboutsummaryrefslogtreecommitdiffstats |