I believe this was the HACMS program. Data61 has some more information: https://... | Hacker News

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

jesse_m on March 12, 2020 | parent | context | favorite | on: SeL4 Design Principles

I believe this was the HACMS program. Data61 has some more information: https://ts.data61.csiro.au/projects/TS/SMACCM/

It may be worth mentioning that it isn't the kernel that rebooted the system but some monitoring thread.

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact