mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-27 22:59:43 +00:00
53a83fb76e
- Avoid DoS against kernel, reported by Julian Stecklina - Provide EFI systab pointer through HIP - Fix PCID bug Fixes #3440