Author Topic: kernel headers and kernel source  (Read 3463 times)

galodoido

  • Full Member
  • ***
  • Posts: 153
    • View Profile
kernel headers and kernel source
« on: June 04, 2018, 07:29:48 pm »
Where to download kernel headers and kernel source ?
Apt-get  didn't found in the repositories.
Thank you

vader

  • Sr. Member
  • ****
  • Posts: 296
    • View Profile
kernel headers and kernel source
« Reply #1 on: June 04, 2018, 10:59:38 pm »
Quote from: galodoido
Where to download kernel headers and kernel source ?
Apt-get  didn't found in the repositories.
Thank you

From the planet computers support page: kernel and boot loader source =>

https://github.com/dguidipc

I don't know if the debian distro uses a different kernel - you could generate patches and apply them for gemini specific stuff.
« Last Edit: June 04, 2018, 11:01:01 pm by vader »

Adam Boardman

  • Full Member
  • ***
  • Posts: 191
    • View Profile

galodoido

  • Full Member
  • ***
  • Posts: 153
    • View Profile
kernel headers and kernel source
« Reply #3 on: June 05, 2018, 06:15:09 am »
Quote from: vader
Quote from: galodoido
Where to download kernel headers and kernel source ?
Apt-get  didn't found in the repositories.
Thank you

From the planet computers support page: kernel and boot loader source =>

https://github.com/dguidipc

I don't know if the debian distro uses a different kernel - you could generate patches and apply them for gemini specific stuff.

Ok.
Thank you.

galodoido

  • Full Member
  • ***
  • Posts: 153
    • View Profile
kernel headers and kernel source
« Reply #4 on: June 05, 2018, 06:15:41 am »

galodoido

  • Full Member
  • ***
  • Posts: 153
    • View Profile
kernel headers and kernel source
« Reply #5 on: June 05, 2018, 08:31:37 am »
Quote from: galodoido
Quote from: Adam Boardman
For the community modified kernel:
https://github.com/gemian/gemini-linux-kernel-3.18

How to build:
https://github.com/gemian/gemini-keyboard-a...rnelCompilation

How to flash (from device):
https://github.com/gemian/gemini-keyboard-a...date-the-kernel

OK.

Thank you .

Tried to compile the kernel ( inside gemini ) , too many errors.
I think it is only possible to compile from a real linux installation ( on my pc ).
I 'd like to compile inside gemini toalso generate the kernel-headers.
I will try to compile on my pc.

galodoido

  • Full Member
  • ***
  • Posts: 153
    • View Profile
kernel headers and kernel source
« Reply #6 on: June 05, 2018, 09:23:23 am »
Quote from: galodoido
Quote from: galodoido
Quote from: Adam Boardman
For the community modified kernel:
https://github.com/gemian/gemini-linux-kernel-3.18

How to build:
https://github.com/gemian/gemini-keyboard-a...rnelCompilation

How to flash (from device):
https://github.com/gemian/gemini-keyboard-a...date-the-kernel

OK.

Thank you .

Tried to compile the kernel ( inside gemini ) , too many errors.
I think it is only possible to compile from a real linux installation ( on my pc ).
I 'd like to compile inside gemini toalso generate the kernel-headers.
I will try to compile on my pc.

I've just compiled on my powerbook air ( with linux and mac os X ) .
Success.

jthenley

  • Newbie
  • *
  • Posts: 2
    • View Profile
kernel headers and kernel source
« Reply #7 on: June 13, 2018, 04:15:31 pm »
Quote from: galodoido
Quote from: galodoido
Quote from: Adam Boardman
For the community modified kernel:
https://github.com/gemian/gemini-linux-kernel-3.18

How to build:
https://github.com/gemian/gemini-keyboard-a...rnelCompilation

How to flash (from device):
https://github.com/gemian/gemini-keyboard-a...date-the-kernel

OK.

Thank you .

Tried to compile the kernel ( inside gemini ) , too many errors.
I think it is only possible to compile from a real linux installation ( on my pc ).
I 'd like to compile inside gemini toalso generate the kernel-headers.
I will try to compile on my pc.

I've updated instructions for how to build on gemini :-)

https://github.com/gemian/gemini-keyboard-a...rnelCompilation
« Last Edit: June 13, 2018, 04:16:07 pm by jthenley »