Implementation of an ARINC-653 Complied Operating System On A Multi-core Platform