Richard Henderson <richard.hender...@linaro.org> writes:
> This header is not private to the top-level semihosting directory, > so place it in the public include directory. Reviewed-by: Alex Bennée <alex.ben...@linaro.org> -- Alex Bennée
Richard Henderson <richard.hender...@linaro.org> writes:
> This header is not private to the top-level semihosting directory, > so place it in the public include directory. Reviewed-by: Alex Bennée <alex.ben...@linaro.org> -- Alex Bennée