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.

0 Former Member over 12 years ago

Section 5.2 of The Getting started with Xillybus on a Linux host guide (available at Xillybus' site) briefly explains how to compile the kernel.

I suppose you didn't patch Digilent's kernel, so the driver for the VGA display was missing.

Just for my curiosity: Why do you compile the kernel?
Cancel
Vote Up 0 Vote Down

Sign in to reply

Verify Answer

Cancel
0 Former Member over 12 years ago in reply to Former Member

I'm having issues getting v4l to work with the xillinux kernel, and I'm hoping the Digilent kernel won't have that problem. I tried downloading, making, and copying the image over to the SD card (writing over the current image) but it never boots and I have to reformat my SD card.
Cancel
Vote Up 0 Vote Down

Sign in to reply

Verify Answer

Cancel
0 Former Member over 12 years ago in reply to Former Member

The Xillinux and Digilent kernel are pretty similar, since the Xillinux kernel actually the Digilent kernel + a few patches and a few changes in the configuration.

An "enriched" Xillinux kernel (with drivers enabled for virtually everything) is about to be released in a matter of a few days. This one has a good chance of solving the v4l issue. Stay tuned. ;)

As for the need to reformat the SD card: You are using a Sandisk, right...?
Cancel
Vote Up 0 Vote Down

Sign in to reply

Verify Answer

Cancel
0 Former Member over 12 years ago

... is now available at:

http://xillybus.com/xillinux-rich-kernel

Eli
Cancel
Vote Up 0 Vote Down

Sign in to reply

Verify Answer

Cancel
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
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
0 joswa over 12 years ago

May you pls. send me the .config file for the "rich". BTW, where should I just put the "rich" .config file to?

And where can I download the Xillinux-1.1? How to build it? Just type make?
Cancel
Vote Up 0 Vote Down

Sign in to reply

Verify Answer

Cancel
0 Former Member over 12 years ago in reply to joswa

Xillinux can be downloaded here:

http://xillybus.com/xillinux

There are also pointers to documentation on that page, which describes the entire build process.

As for the .config file, it should be placed in the same directory at which you compile the kernel, which is the kernel tree's root. Please give your email address in a private message, and I'll send you the .config file.

Eli
Cancel
Vote Up 0 Vote Down

Sign in to reply

Verify Answer

Cancel
0 joswa over 12 years ago

I've used your .config to recompile the kernel and successfully build zImage file. I've replaced it with the zImage of a proven rich-kernel SD card (which can successfully run startx and go into ubuntu). However, the shell prompt redirected to serial port and the VGA monitor only displays the Xillybus image indefinitely. When I type "startx" in the serial port shell prompt, it reports "no screen is found".

What went wrong? The behaviour is different from the pre-build rich-kernel.
Cancel
Vote Up 0 Vote Down

Sign in to reply

Verify Answer

Cancel
0 Former Member over 12 years ago in reply to joswa

I will need some more details about what you did exactly: What kernel sources, which device tree, in short, exactly how your setting differs from the out-of-box Xillinux one (and which Xillinux version you differ from).

I can only speculate that you've used your own kernel sources without patching them, so the driver for the VGA interface was not there. So as far as the kernel is concerned, there was no VGA adapter.
Cancel
Vote Up 0 Vote Down

Sign in to reply

Verify Answer

Cancel