oliverdavies.uk/source/_posts/display-custom-menu-drupal-7-theme-template-file.md

title	date	excerpt	tags
Display a Custom Menu in a Drupal 7 Theme Template File	2012-08-18	The code needed to display a menu in a Drupal 7 template file.	aria drupal drupal-7 drupal-planet php

For reference, this is the code needed to display a menu in a Drupal 7 template file, including the navigation ARIA role.

$menu_name = 'menu-footer-menu';
$menu_id = 'footer-menu';
print theme('links', array(
  'links' => menu_navigation_links($menu_name),
  'attributes' => array(
     'id' => $menu_id,
     'role' => 'navigation',
     'class'=> array('links', 'inline')
  )
));