Kernel profiling is very important in real time operating
especially in embedded systems environment where we would like kernel
overheads to be minimal. Thus we would like to profile the kernel on
the system call & context switching overheads. The present section
documents the profiling information for the case of x86 (Pentium) architecture