Digilent kernel in Xillinux

I'm not sure if anybody else is having this problem, but I cannot get the full Digilent kernel to work for me with Xillinux. Could anyone give an extremely dumbed-down step-by-step on how to do this? I would appreciate it greatly. Thanks.

Parents

0 joswa over 12 years ago

Where can I download the complete source of the xilinux-rich-kernel?
Cancel
Vote Up 0 Vote Down

Sign in to reply

Verify Answer

Cancel

Reply

0 joswa over 12 years ago

Where can I download the complete source of the xilinux-rich-kernel?
Cancel
Vote Up 0 Vote Down

Sign in to reply

Verify Answer

Cancel

Children

0 Former Member over 12 years ago in reply to joswa

The difference between the "standard" Xillinux kernel and the "rich" one is just the .config file. You may contact me directly to get it, or find it in Xillinux-1.1's file system under /boot.

Xillinux-1.1 was just released, running the "rich" kernel by default.
Cancel
Vote Up 0 Vote Down

Sign in to reply

Verify Answer

Cancel