All pull requests

Pull requests

• feat: pin layout assumptions with static assertions

  #418·joaopeixoto13 opened Sep 25, 2026Member·

  ·

• fix(console): correct and check console format strings

  #417·joaopeixoto13 opened Sep 25, 2026Member·

  ·

• feat(platform): add ATK-DLAM62xB support

  #414·shark0304 opened Sep 17, 2026·

  ·
  6

  

• riscv: optimize vAPLIC and emulate level-sensitive interrupts

  #412·ninolomata opened Sep 16, 2026Member·

  ·

• feat/percpu block

  #410·DavidMCerdeira opened Sep 14, 2026Member·

  ·
  29

  

• fix(armv8): use phys_id for GICv3 vgic_int_ptarget_mask

  #403·nks0005 opened Sep 5, 2026Contributor·

  ·
  4

  

• fix(vgic): break the no-pending maintenance storm when all LRs are active

  #398·josecm opened Aug 31, 2026Member·

  ·
  2

• feat(build): Kconfig-based build configuration

  #397·josecm opened Aug 25, 2026Member·

  ·
  3

• fix(mem): fix hypervisor self-coloring boot hang

  #391·rabara opened Aug 7, 2026Contributor·

  ·
  3

  

• feat(armv8/iommu): add SMMUv3 stage-2 driver

  #382·rabara opened Jul 17, 2026Contributor·

  ·
  40

  

• fix(riscv): only access henvcfg/senvcfg when a configured extension n…

  #379·kdamaski opened Jul 15, 2026Contributor·

  ·
  8

  

• feat(mbr): add PMU-based memory bandwidth throttling with timer support

  #373·Diogo21Costa opened Jun 26, 2026Member·

  ·
  

• feat(kao): add support for bao kao testing framework

  #363·danielRep opened May 15, 2026Member·

  ·
  75

  

• feat(ci): Add doxygen to code quality workflow

  #356·0utd4ted opened Apr 16, 2026Contributor·

  ·
  6

  

• feat(ssnpm): Add support for pointer masking

  #354·ninolomata opened Apr 9, 2026Member·

  ·
  5

  

• Proposals for reducing dependencies

  #337·0utd4ted opened Mar 24, 2026Contributor·

  ·
  1

• Fix issues with vGIC LR management

  #334·josecm opened Mar 19, 2026Member·

  ·
  15

  

• feat(plat): add support for BeagleBone AI-64

  #320·puranikvinit opened Feb 20, 2026·

  ·
  27

  

• feat(doc): Adding Doxygen documentation to core files

  #307·0utd4ted opened Jan 13, 2026Contributor·

  ·
  45

  

• Guest reboot support

  #157·josecm opened Jul 9, 2024Member·

  ·
  1

  

• feat(riscv/iommu): update support for RISC-V IOMMU Device Directory Table

  #150·malejo97 opened May 25, 2024Contributor·

  ·