This project is archived. Its data is read-only. This project is read-only.

Gen2Droid Archived

Project information

Gen2Droid was an experimental research project aimed at creating a highly secure, isolation-based operating system. The core architectural concept involved utilizing the mathematically verified seL4 microkernel as the foundation, running the Genode OS framework on top of it.

2 Commits
1 Branch
0 Tags

README

Created on

June 20, 2026

Loading