Added semihost note