<soc.h> is not needed. Signed-off-by: Gerard Marull-Paretas <gerard@teslabs.com>
UART output confirmed to work in simulation. Signed-off-by: Shawn Nematbakhsh <shawn@rivosinc.com>