sources

FransM

Hi,

I'm looking for sources so I can generate my own image. Can you provide a link to these?

Thanks, Frans

loverpi

Debian debootstrap + Linux kernel.

FransM

Yes, but it would be useful to know:

- which kernel version you used (and where to get it from; if not kernel.org)

- if there are any patches  on top of what is available on kernel.org

- what kernel config options you used

- what device tree is used

Similarly are there changes to u-boot apart from what is published as 2019.4 ?

thor

You can read the kernel version with "uname -r" and the kernel config should be in "/proc/config.gz".

FransM

I know. /proc/config.gz is only there if enabled in the kernel config (I suspect it is enabled in the delivered images, can't check this right now)

uname -r will give the kernel version but not tell if it is from exactly that version or an in-between commit.

Also it does not say if there are additional patches applied. Quite likely there are some board specific patches that are not upstreamed yet.

Furthermore the kernel is licensed under GPLv2. That one requires that if you provide a binary you should also provide sources.

Actually personally I don't mind fetching from kernel.org or github or so, but I'd like to be sure that I am fetching the right stuff and that I get everything needed to rebuild

loverpi

https://github.com/libre-computer-project/libretech-linux/tree/v4.19/libretech-master-stable-build
There's an eMMC patch that's still not in that tree yet. config.gz is enabled in kernel.
https://github.com/libre-computer-project/libretech-u-boot/tree/u-boot/2019.04/gxl

FransM

Thanks, that really helps. I assume I need branch v4.19/libretech-master-stable-build as that seems the most recently modified one.

I assume the eMMC patch will also land in the tree soon.

FransM

I tried to build the kernel from the sources, but the sources are for 4.19.55+ whereas the board runs 4.19.57+.

Any chance on pushing the latest version to github?

Thanks, Frans

loverpi

Just merge stable?