OSAL for microblaze