gem5: make serial port configurable
[barrelfish] / tools / arm_gem5 / gem5script.py
2015-08-19 Simon Gerbergem5: make serial port configurable
2012-12-14 Simon Gerberarmv7: make gem5 work again. Added "armv7_platform...
2012-07-27 Samuel Hitzvarious adjustments to tests and benchmarks to get...
2012-07-03 Stefan KästlePath to the arm bootscript was hardcoded. The path...
2012-06-21 Samuel Hitzlarge part of arm gem5 port rewritten, now support...
2012-06-02 Samuel Hitzfixed an inlining bug in arm-gcc, replaced chips with...
2012-06-01 Samuel Hitzfixed an inlining bug of arm-gcc 4.6.1 and lower
2012-05-30 Samuel Hitzreverted Config.hs, save scratch registers to stack...
2012-05-29 Samuel Hitzrenamed architecture from 'gem5' to 'arm_gem5'