1 Pull request opened by 1 person

• VT-d: add remappable MSI support

  #1098 opened Aug 30, 2023

2 Issues opened by 2 people

• Should the manual document `seL4_GetMR`/`seL4_SetMR`?

  #1100 opened Sep 4, 2023

• Compile Error when Using KernelOptimisation=-O0

  #1099 opened Sep 2, 2023

3 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• manual: adjust AArch64 VSpace section for RFC-10

  #1097 commented on Aug 30, 2023 • 2 new comments

• boot: improve memory region sanity checks

  #728 commented on Aug 30, 2023 • 0 new comments

• elfloader: Replace calls to reset_cntvoff

  #1047 commented on Sep 5, 2023 • 0 new comments