From the answers to this question I have discovered that the embedded Linux distribution provided to me, by my hardware supplier, was not built with kernel support. If I am to use this distribution I ...
I have put a vendor supplied embedded Linux installation (called X-Linux) onto a hardware device. I ran lsmod to see what modules are loaded and nothing at all is shown. Also there is no /proc/modules ...