var format_device =
[
    [ "/package element", "format_package.html", null ],
    [ "/processor element", "format_processor.html", "format_processor" ],
    [ "/resources element", "format_resources.html", "format_resources" ],
    [ "/memory_map element", "format_memory_map.html", "format_memory_map" ]
];