Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

seL4 doesn't boot with GICv3 on QEMU #1170

Open
heshamelmatary opened this issue Jan 26, 2024 · 3 comments
Open

seL4 doesn't boot with GICv3 on QEMU #1170

heshamelmatary opened this issue Jan 26, 2024 · 3 comments

Comments

@heshamelmatary
Copy link
Contributor

The existing qemu-arm-virt works with GICv2. GICv3 hasn't been tested with seL4 on QEMU. This discussion was raised in this PR #1157. Trying to run seL4 on QEMU/GICv3 halts on boot with this error:

GICv3: GICR_WAKER returned non-zero 6

Further, it's likely that more debugging/work is needed to get timer interrupts even if the halt() is removed.
@Indanz
Copy link
Contributor

Indanz commented Jan 26, 2024

Thanks!

To summarise:

  • The halt() on non-zero GICR_WAKER is probably too strict and should be removed so it's a warning.
  • We don't get any timer interrupts with GICv3 on qemu.
  • sel4test are sorted by name and FPU0001 is the first test that relies on the scheduling timer working.

@Indanz
Copy link
Contributor

Indanz commented Jan 26, 2024

Does the problem occur with the newest QEMU version? There seem to have been some bugfixes last year that may be relevant.

@Ivan-Velickovic
Copy link
Contributor

I just tried with the latest release (8.2.0) and FPU0001 still halts.

axel-h pushed a commit to axel-h/seL4 that referenced this issue Jan 27, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
f31495e 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Jan 27, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
e8b651d 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Jan 27, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
3a7f11f 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Jan 27, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
1fabb54 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 1, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
802f346 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 1, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
cb88f6a 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 1, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
ce26585 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 1, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
43583a9 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 1, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
aeaa3b5 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 2, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
69d2942 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 6, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
370c24a 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 6, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
84f3a96 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 7, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
1486238 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 7, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
99ff41e 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 8, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
cd8f169 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 8, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
cbe40c3 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 8, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
916ccc3 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h pushed a commit to axel-h/seL4 that referenced this issue Feb 8, 2024
@Ivan-Velickovic @axel-h
WIP QEMU: support using GICv3
05d76ff 
fails, see seL4#1170

Co-authored-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Axel Heider <axelheider@gmx.de>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@heshamelmatary @Ivan-Velickovic @Indanz