Issues involved in setting up an embedded Linux kernel are as follows:
 * [TBD]