configure: Rename ENABLE_PS3 to PLATFORM_PS3
[petitboot] / README.md
2016-08-08 Samuel Mendoza-JonasREADME.md: Add README file