{
"wikipageid": 3056, "revisionid": 54718, "namespace": 0, "titletext": "STM32MP15 OP-TEE", "action": "edit", "summary": "correct CMake build directives", "parentid": 0, "id": 1637, "ownerid": 206, "type": "articlesave", "archived": false, "tags": [ "STM32MP15 OP-TEE" ], "resolved": false
}