> Date: Fri, 12 Feb 2010 08:49:08 +0400 > From: Joel Brobecker <brobecker@adacore.com> > Cc: gdb-patches@sourceware.org > > I think "board file" is what we should use. Attached is the revised > version (the only change was to remove the one @file markup for board). This version is fine with me. Thanks.