denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
f1d599ae8ab5116c192dd108c83778fd5c7a8cf7
genode/base/include/platform
History
Martin Stein f1d599ae8a base: rename generic Board drivers Board_base 
To enable a repo to name its specific board driver 'Board'.

Fix #569
2013-01-08 11:36:51 +01:00
..
imx31/drivers
base: rename generic Board drivers Board_base
2013-01-08 11:36:51 +01:00
panda/drivers
base: rename generic Board drivers Board_base
2013-01-08 11:36:51 +01:00
pbxa9/drivers
base: rename generic Board drivers Board_base
2013-01-08 11:36:51 +01:00
vea9x4/drivers
base: rename generic Board drivers Board_base
2013-01-08 11:36:51 +01:00