search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

riscv-he: rebase 'master' onto riscv_hyp #60

Closed Ivan-Velickovic closed 2 years ago

Ivan-Velickovic commented 2 years ago

See SEL4PROJ/sel4-riscv-vmm-manifest#1 for details.

lsf37 commented 2 years ago

Should this be a rebase rather than a merge? Rebase would need coordination with whoever is currently working on this, though. I believe @yyshen was looking into riscv-hyp.

yyshen commented 2 years ago

Should this be a rebase rather than a merge? Rebase would need coordination with whoever is currently working on this, though. I believe @yyshen was looking into riscv-hyp.

@Ivan-Velickovic @lsf37 A rebase would be fine since I do not have recent changes.

Ivan-Velickovic commented 2 years ago

Okay, I think I've done the rebase. I think the DCO CI check is failing because 2b825554335aff440cadb952cf7c230438cf1a67 isn't signed off, should @yyshen add the sign off?

Ivan-Velickovic commented 2 years ago

Closed since it's not necessary for this to be a PR, it's only the rebase.

yyshen commented 2 years ago

Okay, I think I've done the rebase. I think the DCO CI check is failing because 2b82555 isn't signed off, should @yyshen add the sign off?

Yes, I will add the signoff based on the rebase.