lappend boards_dir /home/wbx/openadk/tests lappend boards_dir /usr/share/dejagnu set myboard adk set target_list adk
