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-
set target local
set target_opt(local-dir) vm
