😅 5 more CDs arrived today. 😓

I just read on an Amazon IN review that there is some problem with Samsung SSDs with Linux. Haven't researched it yet.

@FaheemMitha no idea, have several in machines running Linux... haven't had any issues.

@derobert Ok.

@FaheemMitha no idea, have several in machines running Linux... haven't had any issues.

I haven't tried this yet, but is it worth asking on U&L?

well, hard to ask a question w/o any details

@derobert This was repeated here.

yeah, chat.SE told me it wasn't posted with the retry/cancel message... but it apparently lied

@derobert Bad chat.SE.

Weird... I got a SE ping on my phone, started to read the message.... and it vanished. Doesn't show on the web site in my inbox either...

@derobert Maybe it was deleted? Comment or answer?

Hello, can someone here help me with trying to compile a kernel module?

@Zephyr Did you install the headers or not?

Oh, backing up. Where is your kernel from? In general it's recommended to run a Debian stock kernel, unless it doesn't work for you. Also state your distribution and release. Your question is missing many details.

So the whole Linux I am using comes from the providers of one of the boards I am using, and it comes with some preinstalled drivers and stuff for that board. So they provided the kernel, as well as everything else. I don't think a stock kernel would work, as they have some special configurations involved in getting their hardware to work on the embedded board I am using.

Im not sure whether that's what you wanted to know or not

@Zephyr Hmm. In that case, ask your vendor about installing the headers.

there's alot of stuff there, and I don't know exactly what I need or where to put it

@Zephyr Is their kernel patched?

Im not really sure what that means. I'm just learning as I go

@FaheemMitha comment, I think. Probably was deleted. Odd how that behaves...

@Zephyr If you don't know what patched means, you're going to have some problems here. What's your role in this, exactly?

I am an engineer, but don't typically do much application software. I mostly only ever need to do baremetal MCU. So now I have to learn how to write drivers and kernel modules for Linux

@Zephyr that looks like a full kernel source tree

you'll want all of that...

you'll also need the kernel configuration file

is Kconfig in that directory not the kernel configuration file?

no, it'd normally be .config

#
# Automatically generated file; DO NOT EDIT.
# Linux/x86 4.5.1 Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
CONFIG_X86=y
CONFIG_INSTRUCTION_DECODER=y

... that's what one looks like, and it goes on for a while

~7600 lines in that one

there might be one in /boot, called something like config-version

I see they also have a bunch of branches—not sure what all those are (different boards, maybe?)

hmm, no. there doesn't seem to be anything in /boot

other than a filesystem.dir, which is empty

once you get the correct kernel checkout & branch, and install a .config file, then you should be able to do a make oldconfig and then you can point your module build to that directory and it should work

They ought to be able to point you to the config file, or some other script that'll generate the config. (Ought as in "the GPL requires them to")

OK, so I need to rebuild the kernel from source, and if I use their config file that should generate the right headers?

You shouldn't actually need to compile the kernel

Also, you're aware (I hope) that you'll either need to do the compile on the target, a machine of the same architecture, or get a cross-compiler set up.

Yes, I know it won't work if I do it on a different architecture. That's why I was looking for the headers to begin with, so I could compile it from the embedded board instead of my 64 bit vm

Ill ask the guy from Analog if he can help me find the config file then

Thanks for your help

@Zephyr wiki.xilinx.com/Build+kernel suggests it might just be a make line you have to run

Google might be able to find it for you, but I don't know your board details

Yeah...Xilinx's tools are very buggy though. I did manage to build their kernel for the board once, but it involved alot of figuring out and installing dependencies and changing configurations. If I can figure out how to do that again I'll try using that

Hopefully your vendor can give you instructions for how to build the kernel—you should be able to stop before the "make" which actually builds the kernel, and use the kernel source tree instead of the kernel headers.

The reason to avoid actually building it being that it'll probably take forever.

Anyway, I'm heading home. Good luck.

Ok, thank you

@Zephyr it's possible to create a Debian package for your kernel. That will probably take some effort, but is also probably worth it.

If you aren't working with a patched kernel, you could use the Debian machinery and your config file to build a custom binary kernel package from the Debian sources.