docs: add missing embKernel rtos arg to docs
[fw/openocd] / tools / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 90402 checkpatch.pl