Skip to content

ci: add opensbi to boot kernel #126

ci: add opensbi to boot kernel

ci: add opensbi to boot kernel #126