Which kernel provides 88 functions that can be called from the C programs?

• A. pSOS multiprocessor kernel
• B. pSOS
• C. pSOS+
• D. pREC+ runtime support