Are there any plans to re-add seL4_Untyped_RetypeAtOffset?

Show replies by thread

1521
Age (days ago)
1528
Last active (days ago)

devel@sel4.systems

20 comments
5 participants

Add to favorites Remove from favorites

tags (0)
participants (5)
  • Andrew Warkentin
  • Demi M. Obenour
  • G. Branden Robinson
  • Heiser, Gernot (Data61, Kensington NSW)
  • Klein, Gerwin (Data61, Kensington NSW)