Smcsrind/Sscsrind is an ISA extension that extends the indirect CSR access mechanism originally defined as part of the Smaia/Ssaia extensions, in order to make it available for use by other extensions without creating an unnecessary dependence on Smaia/Ssaia.
&> /dev/null works as a redirection from stdout and stderr to /dev/null in Bash but not in POSIX shell (considered as an asynchronous execution and the result of the command command cannot be retrieved).
As a result, it always assumes that Docker always exists.
This commit makes the redirection robust and portable (uses >/dev/null 2>&1 instead, makes it possible to detect "no Docker" condition correctly).
This is a port of now merged riscv/docs-spec-template#14.
&> /dev/nullworks as a redirection fromstdoutandstderrto/dev/nullin Bash but not in POSIX shell (considered as an asynchronous execution and the result of thecommandcommand cannot be retrieved).As a result, it always assumes that Docker always exists.
This commit makes the redirection robust and portable (uses
>/dev/null 2>&1instead, makes it possible to detect "no Docker" condition correctly).This is a port of now merged riscv/docs-spec-template#14.