phantom_build_env

Phantom OS Genode build environment

Clone repositories

Setting up Docker container

Initial setup

Linking files related to Phantom to Genode repo

Building and running Phantom OS

Debugging instructions