Does DS-5 ultimate evaluation version offer an FVP to ARMv8 executable?

I have compiled a simple "Hello World" program on DS-5 ultimate evaluation version and couldn't find a bare metal FVP on which I can run it. When I select "ARM FVP->VE_AEMv8x1->Bare Metal Debug->Debug...
Does DS-5 ultimate evaluation version offer an FVP to ARMv8 executable?

I have compiled a simple "Hello World" program on DS-5 ultimate evaluation version and couldn't find a bare metal FVP on which I can run it. When I select "ARM FVP->VE_AEMv8x1->Bare Metal Debug->Debug...
CMSIS library offers functionality such as delete mutex that RTX doesn't seem to offer. How is this achieved?, do I need to link to the library or I could implement that on my side?

My point is I'm actually developing an abstraction layer for a project and I came across that CMSIS library that I didn't know. I've already implemented what I need and had rejected using some functionality...
CMSIS library offers functionality such as delete mutex that RTX doesn't seem to offer. How is this achieved?, do I need to link to the library or I could implement that on my side?

My point is I'm actually developing an abstraction layer for a project and I came across that CMSIS library that I didn't know. I've already implemented what I need and had rejected using some functionality...
What is needed for a new project that does not have a dev board?

I have began my transition to the 32 bit world by using a Teensy 3.1 board. Now the question I have is what if I wanted to branch out to a chip that does not have a dev board? I can find a FRDM-K2D50M...