/minijen/jenkins/riscv/arm32/aarch64/2023/02/16/miniJen-is-alive.html 2023-02-16T20:43:53+00:00 /minijen/jenkins/risc-v/2023/02/23/miniJen-and-RISC-V.html 2023-02-23T20:43:53+00:00 /minijen/jenkins/live-streams/2023/03/09/miniJen-live-streams.html 2023-03-09T10:43:53+00:00 /about/ /