lappend allowed_paths /depot
lappend allowed_tools /bin
set arch x86_64
set depot_dir /depot
set disable_sandbox 1
set cross_dev_prefix /bin/genode-x86-
