Revision 5774ed264449fef397665eebb121612f45bd5187

Committed on 02/01/2017 6:34 am by Emmanuel Drouet <[email protected]> [GitHub Diff]

initialize platform interface