/** @page dev_davinci_arch TI DaVinci in barebox
@section davinci_boards DaVinci-based boards
@li @subpage virt2real
*/