Comment Comment by l-mdev We literally can do this already. It's been done. seL4 parent l-mdev 12 days ago
