Electron752
Posts: 142
Joined: Mon Mar 02, 2015 7:09 pm

Binaries and source for 64 bit kernel for RPI 3

Sat Apr 09, 2016 9:57 pm

I put a new version of the kernel source and binaries on github. This is based on the foundation tree rather then the upstream source. I still don't have sound or accelerated video working yet. Also the builtin wifi and bluetooth isn't working yet either. The number of changes from the foundation tree is very small.

Major improvements:
1. Most of the kernel modules that are included in the standard distros are now included.
2. Reboot and shutdown work now.(sudo reboot actually works)
3. The foundation MMC driver is used rather then the upstream driver. No more wierd lockups or severe performance issues.
4. The device tree is built from the same source as the 32 bit version. The source(dtsi) has a few "#ifdef" lines for the differences for 64 bit.

Kernel Source:
https://github.com/Electron752/linux

Prebuilt Binaries:
https://github.com/Electron752/boot64-rpi3

In both cases the correct branch is rpi-4.5.y+rpi364.

Depending on how much interest I find, I might post another version in a week or two.

User avatar
TheJyD
Posts: 1
Joined: Sun Apr 10, 2016 4:30 pm

Re: Binaries and source for 64 bit kernel for RPI 3

Sun Apr 10, 2016 4:31 pm

Thank you. I will try it tonight.
JyD.

tibi38
Posts: 42
Joined: Sat Nov 10, 2012 8:46 am
Location: Europe
Contact: Website

Re: Binaries and source for 64 bit kernel for RPI 3

Tue Apr 12, 2016 5:25 am

Hi,
I have actually the Problem with not function of shutdown / reboot etc....
which file will fix it?
How to install it?
Admin of http://bed-and-breakfast-ungarn.de

dmc1954
Posts: 17
Joined: Sun Mar 24, 2013 2:41 pm
Location: Austin, Texas, USA

Re: Binaries and source for 64 bit kernel for RPI 3

Tue Apr 12, 2016 9:31 pm

Do you have any instructions on how to install your pre-build binaries on a rpi3?

Thanks,
David

tibi38
Posts: 42
Joined: Sat Nov 10, 2012 8:46 am
Location: Europe
Contact: Website

Re: Binaries and source for 64 bit kernel for RPI 3

Wed Apr 13, 2016 8:37 am

Dear David,
I found the source of Problems now in a program which was loaded in rc.local.
It stop use of reboot shutdown etc.
After removing program from rc.local all cmds are useable.
So it is not related to kernel, i guess.
Admin of http://bed-and-breakfast-ungarn.de

Lawbayly
Posts: 3
Joined: Fri Jul 19, 2013 3:47 am

Re: Binaries and source for 64 bit kernel for RPI 3

Fri Jun 10, 2016 1:20 am

I noticed the mac address is now randomly generated and not the standard b8:27:eb style address I usually see... is it not possible to pull the mac address that it is supposed to have from wherever it is stored in the pi?

It looks like it's pulled in during boot and passed to the kernel command line on the older kernel boot process.

capnm
Posts: 3
Joined: Fri Feb 06, 2015 11:03 am
Location: Frankfurt, Germany
Contact: Website

Re: Binaries and source for 64 bit kernel for RPI 3

Fri Jun 10, 2016 5:02 pm

~
Last edited by capnm on Mon Jun 13, 2016 10:39 am, edited 1 time in total.

dwelch67
Posts: 965
Joined: Sat May 26, 2012 5:32 pm

Re: Binaries and source for 64 bit kernel for RPI 3

Fri Jun 10, 2016 9:07 pm

this is a bare metal forum.

Hallo32
Posts: 8
Joined: Thu May 05, 2016 6:34 pm

Re: Binaries and source for 64 bit kernel for RPI 3

Sat Jun 18, 2016 3:21 pm

@Electron752

Are there any updates?

Thank you for the work so far.

Return to “Bare metal, Assembly language”