remove building modules from makeworld,makekernel.

[Phishfry]

With (ancient) 512B sectors, 32M would already be enough.

That is close to what the Wiki shows too.

UEFI - FreeBSD Wiki

I have to ask. What is the difference between -t fat32 and -t efi partition type for the ESP???

 

[Alain De Vos]

EFI system partition - ArchWiki

wiki.archlinux.org

 

[bakul]

I think you can simply include all the modules you want in your kernel config file and do a make with -DNO_MODULES.

 

[zirias@]

I have to ask. What is the difference between -t fat32 and -t efi partition type for the ESP???

The type identifier of the partition
It's really just an identifier (so, you still could place any filesystem you want on it), helping to identify what the partition is used for. For the ESP to be correctly identified by the UEFI BIOS, use the type efi.

I think you can simply include all the modules you want in your kernel config file and do a make with -DNO_MODULES.

The kernel config isn't relevant for modules. What you probably mean is putting all the drivers/devices there, so they are built into the kernel instead. But then you won't have any modules.