Is SEPOS based on an open-source or proprietary derivative of L4? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

walterbell on Aug 17, 2017 | parent | context | favorite | on: Hacker claims to have decrypted Apple's Secure Enc...

Is SEPOS based on an open-source or proprietary derivative of L4?

wahern on Aug 17, 2017 [–]

From slide 60:

  SEPOS
  * Based on Darbat/L4-embedded (ARMv7)
    - Custom modifications by Apple

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact