if { [board_info $board obj_format] == "a.out" }  {
    set_board_info addl_link_flags "-N"
    set_board_info gdb_load_offset "0x40050000"
}

load_base_board_description "cygmon"