Skip to content

Add support for RISC-V#179

Merged
Ivan-Velickovic merged 10 commits intomainfrom
riscv
Aug 5, 2024
Merged

Add support for RISC-V#179
Ivan-Velickovic merged 10 commits intomainfrom
riscv

Conversation

@Ivan-Velickovic
Copy link
Collaborator

@Ivan-Velickovic Ivan-Velickovic commented Aug 2, 2024

This PR introduces RISC-V (64-bit) support for Microkit. It adds platform support for the RISC-V version of the QEMU virt platform and the Pine64 Star64.

Merge checklist:

  • Remove minor TODOs left
    • Some minor cleanup still to do, will do it later.
  • Update README dependencies section for RISC-V toolchain
  • Finish fault decoding for RISC-V in monitor
    * [ ] Make the loader code a bit more organised for multi-arch. going to do that later.
  • Update seL4 version for RISC-V boot protocol patch.

Closes #26.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
@Ivan-Velickovic Ivan-Velickovic force-pushed the riscv branch 5 times, most recently from 55bad94 to 9db4fe5 Compare August 5, 2024 03:14
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Apparently the GCC toolchain with Homebrew only has prebuilt
binaries for this version of macOS....

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
GCC version on macOS is 12, on Ubuntu 22.04 it is 10 though and
that is causing issues since they do not accept the same -march
arguments.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

RISCV support in Microkit

2 participants