pintos-rs - [no description]

	Commit message (Collapse)	Author	Age
*	New tool for running single tests in Pintos.	Filip Strömbäck	2020-03-18
\| \| \| \|	Signed-off-by: Filip Strömbäck <filip.stromback@liu.se>
*	Output the Pintos command line once more.	Filip Strömbäck	2018-04-18
\| \| \| \|	Signed-off-by: Filip Strömbäck <filip.stromback@liu.se>
*	Fixed compilation issues on the latest GCC and QEMU.	Filip Strömbäck	2018-04-18
\| \| \| \|	Signed-off-by: Filip Strömbäck <filip.stromback@liu.se>
*	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