The repository evolved with the assumpiton that the platform header
file and the top-level for SPEC were included

Signed-off-by: Federico Vaga <federico.vaga@cern.ch>