>the seL4 CAmkES framework Naming convention could use a bit of work, but otherw... | Hacker News

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

		Havoc on Oct 16, 2022 \| parent \| context \| favorite \| on: Announcing KataOS and Sparrow >the seL4 CAmkES framework Naming convention could use a bit of work, but otherwise good news.

yencabulator on Oct 17, 2022 [–]

Those names come from the existing seL4 project that these googlers are merely using/forking.

(CAmkES is a hot mess, and "unpleasantly too much C" if you ask me. https://docs.sel4.systems/projects/camkes/ & https://github.com/seL4/camkes-tool/blob/master/docs/index.m...)

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