{
"wikipageid": 1408, "revisionid": 54652, "namespace": 0, "titletext": "How to populate and boot a board with OP-TEE", "action": "edit", "summary": "Change the category", "parentid": 0, "id": 1608, "ownerid": 118, "type": "articlesave", "archived": false, "tags": [ "How to populate and boot a board with OP-TEE" ], "resolved": false
}