Skip to content

morello: Add FVP and SoC platforms to the EFI list - #188

Open
heshamelmatary wants to merge 1 commit into
seL4:masterfrom
CTSRD-CHERI:pr1_morello_aarch64
Open

morello: Add FVP and SoC platforms to the EFI list#188
heshamelmatary wants to merge 1 commit into
seL4:masterfrom
CTSRD-CHERI:pr1_morello_aarch64

Conversation

@heshamelmatary

Copy link
Copy Markdown
Contributor

morello-fvp and morello-soc are loaded by UEFI.

morello-fvp and morello-soc are loaded by UEFI.

Signed-off-by: Hesham Almatary <hesham.almatary@cl.cam.ac.uk>
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.

2 participants