This repository has been archived by the owner. It is now read-only.

Support fat partitions for /boot #699

Closed
MartijnBraam opened this Issue Oct 5, 2017 · 7 comments

Comments

Projects
None yet
6 participants
@MartijnBraam
Member

MartijnBraam commented Oct 5, 2017

I'm trying to port pmos to the Raspberry Pi but that requires a fat partition instead of ext2 as /boot. We could add a switch in the deviceinfo to make the boot partition fat instead of ext2 and have a firmware package that adds the extra firmware files for the rpi to /boot to make it work.

@PureTryOut

This comment has been minimized.

Show comment
Hide comment
@PureTryOut

PureTryOut Oct 5, 2017

Contributor

Is it not a possibility that phones support both ext2 and FAT as /boot? If so, can't we just use FAT everywhere? Or am I hoping for too much?

Contributor

PureTryOut commented Oct 5, 2017

Is it not a possibility that phones support both ext2 and FAT as /boot? If so, can't we just use FAT everywhere? Or am I hoping for too much?

@MartijnBraam

This comment has been minimized.

Show comment
Hide comment
@MartijnBraam

MartijnBraam Oct 5, 2017

Member

Well the n900 also uses the /boot partition directly and requires ext2 on it so it has to be configurable to make it work.

Member

MartijnBraam commented Oct 5, 2017

Well the n900 also uses the /boot partition directly and requires ext2 on it so it has to be configurable to make it work.

@craftyguy

This comment has been minimized.

Show comment
Hide comment
@craftyguy

craftyguy Oct 5, 2017

Member

+1 to adding an option in deviceinfo, maybe deviceinfo_boot_fs or something? It should default to ext2 if none is specified, so we don't cause a regression with all devices now that expect ext2 without having to explicitly update their device packages.

Member

craftyguy commented Oct 5, 2017

+1 to adding an option in deviceinfo, maybe deviceinfo_boot_fs or something? It should default to ext2 if none is specified, so we don't cause a regression with all devices now that expect ext2 without having to explicitly update their device packages.

@MartijnBraam

This comment has been minimized.

Show comment
Hide comment
@MartijnBraam

MartijnBraam Oct 5, 2017

Member

Yeah it should totally default to ext2, this is more a special case for the raspberry pi hardware (and maybe other platforms in the future)

Member

MartijnBraam commented Oct 5, 2017

Yeah it should totally default to ext2, this is more a special case for the raspberry pi hardware (and maybe other platforms in the future)

@montvid

This comment has been minimized.

Show comment
Hide comment
@montvid

montvid Oct 13, 2017

Contributor

What do the rpi devs say - is fat for uefi? Or why can't it be ext?

Contributor

montvid commented Oct 13, 2017

What do the rpi devs say - is fat for uefi? Or why can't it be ext?

@ollieparanoid

This comment has been minimized.

Show comment
Hide comment
@ollieparanoid

ollieparanoid Oct 13, 2017

Member

@montvid: the raspberry pi bootloader needs a fat partition, because it was written that way and we can't change that (at least not easily, and we don't really get benefits from changing the filesystem there). Just like lk (littlekernel, the bootloader used on most Androids) reads the boot.img format from a special boot partition. More information here.

Member

ollieparanoid commented Oct 13, 2017

@montvid: the raspberry pi bootloader needs a fat partition, because it was written that way and we can't change that (at least not easily, and we don't really get benefits from changing the filesystem there). Just like lk (littlekernel, the bootloader used on most Androids) reads the boot.img format from a special boot partition. More information here.

@mirh

This comment has been minimized.

Show comment
Hide comment
@mirh

mirh May 16, 2018

Ehrm.. /boot partition being FAT is a strict requirement of UEFI spec to be honest.
Of course, if you aren't a x86 computer caring for windows, you are totally free to do whatever you want..

But I just wanted to point out how that's an actual very standard standard.

mirh commented May 16, 2018

Ehrm.. /boot partition being FAT is a strict requirement of UEFI spec to be honest.
Of course, if you aren't a x86 computer caring for windows, you are totally free to do whatever you want..

But I just wanted to point out how that's an actual very standard standard.

@drebrez drebrez referenced this issue May 16, 2018

Merged

Add Raspberry Pi device #1501

3 of 5 tasks complete
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.