Hi,
I see that the RTX kernel is provided as library. I want to do certain experiments with the kernel and hence, i want to rebuild the RTX kernel all over again. However, if i rebuild the RTX kernel code provided, the library size (39KB) seems drastically from the RTX_CM4.lib(279KB) in the standard Keil installation.
1) Am i doing anything wrong ? 2) Is there any standard process for rebuilding the kernel ? 3) If i am doing custom build, then can i include only the files being used by me (say mutex and events in addition to basic kernel) and build it directly with application code ? 4) Are there any list of known anomalies of this OS ?
Regards, Vasanth