在 seL4 峰会的演讲上，Sam Leffler 确认了 KataOS 更名为 CantripOS 并透露了 KataOS 更名的原因。
Google 无法使用 KataOS 这个名字，因为已经被其他人抢先使用，或者无法获得商标，所以 Google 官方新闻宣布了 KataOS(Announcing KataOS and Sparrow | Google Open Source Blog)，但也无可奈何，无法继续使用。
注：
Sam Leffler 是 BSD 的开发大牛，系统设计专家，现在也是 CantripOS 的核心人物。