OESF Portables Forum

Model Specific Forums => Gemini PDA => Gemini PDA - Linux => Topic started by: galodoido on June 04, 2018, 07:29:48 pm

Title: kernel headers and kernel source
Post by: galodoido 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

Title: kernel headers and kernel source
Post by: vader 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 (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.

Title: kernel headers and kernel source
Post by: Adam Boardman on June 05, 2018, 04:55:15 am

For the community modified kernel:
https://github.com/gemian/gemini-linux-kernel-3.18 (https://github.com/gemian/gemini-linux-kernel-3.18)

How to build:
https://github.com/gemian/gemini-keyboard-a...rnelCompilation (https://github.com/gemian/gemini-keyboard-apps/wiki/KernelCompilation)

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

Title: kernel headers and kernel source
Post by: galodoido 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 (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.

Title: kernel headers and kernel source
Post by: galodoido on June 05, 2018, 06:15:41 am

Quote from: Adam Boardman

For the community modified kernel:
https://github.com/gemian/gemini-linux-kernel-3.18 (https://github.com/gemian/gemini-linux-kernel-3.18)

How to build:
https://github.com/gemian/gemini-keyboard-a...rnelCompilation (https://github.com/gemian/gemini-keyboard-apps/wiki/KernelCompilation)

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

OK.

Thank you .

Title: kernel headers and kernel source
Post by: galodoido 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 (https://github.com/gemian/gemini-linux-kernel-3.18)

How to build:
https://github.com/gemian/gemini-keyboard-a...rnelCompilation (https://github.com/gemian/gemini-keyboard-apps/wiki/KernelCompilation)

How to flash (from device):
https://github.com/gemian/gemini-keyboard-a...date-the-kernel (https://github.com/gemian/gemini-keyboard-apps/wiki/DebianTP#update-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.

Title: kernel headers and kernel source
Post by: galodoido 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 (https://github.com/gemian/gemini-linux-kernel-3.18)

How to build:
https://github.com/gemian/gemini-keyboard-a...rnelCompilation (https://github.com/gemian/gemini-keyboard-apps/wiki/KernelCompilation)

How to flash (from device):
https://github.com/gemian/gemini-keyboard-a...date-the-kernel (https://github.com/gemian/gemini-keyboard-apps/wiki/DebianTP#update-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.

Title: kernel headers and kernel source
Post by: jthenley 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 (https://github.com/gemian/gemini-linux-kernel-3.18)

How to build:
https://github.com/gemian/gemini-keyboard-a...rnelCompilation (https://github.com/gemian/gemini-keyboard-apps/wiki/KernelCompilation)

How to flash (from device):
https://github.com/gemian/gemini-keyboard-a...date-the-kernel (https://github.com/gemian/gemini-keyboard-apps/wiki/DebianTP#update-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 (https://github.com/gemian/gemini-keyboard-apps/wiki/KernelCompilation)