1 Pull request merged by 1 person

• python-capdl-tool: Update python3 test scripts

  #55 merged Sep 1, 2023

1 Pull request opened by 1 person

• capdl-loader-app: Refactor two-phase build design

  #56 opened Sep 1, 2023

1 Issue closed by 1 person

• replace `nose` with newer testing framework

  #31 closed Sep 1, 2023

5 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.

• CONFIG_VTX checked within CONFIG_ARCH_ARM block?

  #54 commented on Aug 30, 2023 • 1 new comment

• upgrade GH actions + remove python 2 test

  #53 commented on Sep 1, 2023 • 1 new comment

• ARMv6 is no longer supported by seL4

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

• capdl-loader-app: use sel4muslcsys_setup_morecore_region()

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

• Enforce architecture parameter, drop aarch32 as default

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