m-stein/genode — pull request #2 by skalk (2012-11-20 15:02:16+00:00)
Title: Merge panda_a2 and panda SPEC (fix #505, fix #506)

There is no obvious reason for having two different SPEC variables, definitions,
and pathes for the Pandaboard platform. It even lead to problems regarding the
omap4 framebuffer driver (look at issue #505 and #506).