Cannot find kernel headers.

fredsco commented 2 months ago

Where can I find the kernel headers for :https://drive.google.com/drive/folders/18ONAwpvh6cACw5CUql7ec-UeZcl0N4sN?usp=share_link

uname -a
Linux luckfox 5.10.110 #1 Sat Aug 24 21:18:29 CEST 2024 armv7l armv7l armv7l GNU/Linux

I can't find the specific version, also would like in .deb format if possible?

PS: I have also tried enabling headers from the kernel config screen

Prompt: Enable kernel headers through /sys/kernel/kheaders.tar.xz

but once I do this the device gets stuck at "Starting Kernel..." not sure if that setting is related to the kernel headers like "linux-header-xxx"

U-Boot 2017.09 (Jul 10 2024 - 17:27:17 +0800)

Model: Rockchip RV1106 EVB Board
PreSerial: 2, raw, 0xff4c0000
DRAM:  64 MiB
Sysmem: init
Relocation Offset: 03d85000
Relocation fdt: 02dfacb0 - 02dfede0
CR: M/C/I
Using default environment

no mmc device at slot 1
ENVF: Primary 0x00000000 - 0x00008000
ENVF: OK
mmc@ffa90000: 0, mmc@ffaa0000: 1 (SD)
Bootdev(atags): mmc 1
MMC1: Legacy, 52Mhz
PartType: ENV
DM: v2
No misc partition
boot mode: None
FIT: no signed, no conf required
DTB: rk-kernel.dtb
HASH(c): OK
Model: Luckfox Pico Mini B
CLK: (uboot. arm: enter 816000 KHz, init 816000 KHz, kernel 0N/A)
  apll 816000 KHz
  dpll 528000 KHz
  gpll 1188000 KHz
  cpll 1000000 KHz
  aclk_peri_root 400000 KHz
  hclK_peri_root 200000 KHz
  pclk_peri_root 100000 KHz
  aclk_bus_root 300000 KHz
  pclk_top_root 100000 KHz
  pclk_pmu_root 100000 KHz
  hclk_pmu_root 200000 KHz
No misc partition
## retrieving sd_update.txt ...
bad MBR sector signature 0x0000
** Invalid partition 1 **
Net:   eth0: ethernet@ffa80000
Hit key to stop autoboot('CTRL+C'):  0
## Booting FIT Image at 0x2591880 with size 0x00668400
Fdt Ramdisk skip relocation
No misc partition
## Loading kernel from FIT Image at 02591880 ...
   Using 'conf' configuration
## Verified-boot: 0
   Trying 'kernel' kernel subimage
     Description:  unavailable
     Type:         Kernel Image
     Compression:  uncompressed
     Data Start:   0x0259a880
     Data Size:    6681432 Bytes = 6.4 MiB
     Architecture: ARM
     OS:           Linux
     Load Address: 0x00008000
     Entry Point:  0x00008000
     Hash algo:    sha256
     Hash value:   852a6dcc16b705b7ca0e05264e82bfd81135ceade687566bd74dcde8b41b3a5f
   Verifying Hash Integrity ... sha256+ OK
## Loading fdt from FIT Image at 02591880 ...
   Using 'conf' configuration
   Trying 'fdt' fdt subimage
     Description:  unavailable
     Type:         Flat Device Tree
     Compression:  uncompressed
     Data Start:   0x02592080
     Data Size:    34747 Bytes = 33.9 KiB
     Architecture: ARM
     Load Address: 0x00c00000
     Hash algo:    sha256
     Hash value:   d2eaaf417e75995100db72986503efa78e1cdc26ff4dd7d2eb2cb92ca69b9a3f
   Verifying Hash Integrity ... sha256+ OK
   Loading fdt from 0x02591880 to 0x00c00000
   Booting using the fdt blob at 0x00c00000
   Loading Kernel Image from 0x0259a880 to 0x00008000 ... OK
   kernel loaded at 0x00008000, end = 0x00667358
   Using Device Tree in place at 00c00000, end 00c0b7ba
Adding bank: 0x00000000 - 0x04000000 (size: 0x04000000)
Total: 1025.9 ms

Starting kernel ...

luckfox-eng33 commented 2 months ago

We do not provide kernel headers directly If you need kernel headers, you can cross-program the kernel headers yourself via PC instead of using luckfox pico (which is too difficult for it)

noon92 commented 2 weeks ago

@fredsco did you ever figure out how go get the headers?

fredsco commented 2 weeks ago

@noon92 No but have you tried running kernelconfig from PC?

noon92 commented 2 weeks ago

Yes, but adding headers via kernelconfig just doesn't work. After build it's deselected.

LuckfoxTECH / luckfox-pico

Cannot find kernel headers. #159