K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2014-07-31T18:54:40.705453Z
K 7
svn:log
V 104
Work around a bug with the Semihosting FS driver where it returns
EFI_ABORTED there is no data to read.

END