Hi,
thanks for explaining this.

1.
I understood that
EFI is on the top
it runs Grub
and Grub runs the init system shepherd.

2.
Guix has a Grub without proprietary software AFAIU
and then remains the question about EFI.

3.
Can we exclude that EFI is without proprietary software?
Or has it only the task to run Grub?, because then it runs without proprietary software?

4.
Or are there other booting proprietary firmware blobs somewhere?
Or also Microcode updates?

5.
Do those things depend on the laptop or PC you have got?

I know Intel and ARM.
Risc-5 AFAIK has no proprietary software, is that right?
Or depends that on the company which produces Risc-5?

Thanks

Gottfried


Am 08.01.25 um 21:59 schrieb Ekaitz Zarraga:
Hi,

On 2025-01-08 9:50 PM, gfp wrote:
Hi Felix,

I bought a laptop of the company Tuxedo
where I can disable IME.

Don't they disable that by default?

The options were really tricky. Difficult.

Yes they are, but you can do it!

I will check again, if they enabled it again. Hopefully not.

I didn´t install any proprietary in the beginning.
But I don´t know, and that´s why my question,
if on my laptop is something installed beforehand.
I don´t have enough knowledge about boot process etc.

I assume Shepherd is the Guix init system like systemd in other linux distros. Is that right?

Yes.
What is Grub? Is EFI a part of Grub?

Grub is a bootloader.

In a very simplified way, which I hope is right:

1. EFI runs Grub.
2. Grub chooses the kernel to run and runs it.
3. The kernel runs the init system, which prepares everything for you.

I guess Guix community replaced "EFI" with "grubx64.efi"
that´s why we can find this file in the boot/EFI folder.

No, Grub is an EFI application (some software that can be launched from EFI). EFI is going to search in the /boot/efi folder for the applications that it can run. That's why Grub has to be there.

 > Booring often requires proprietary firmware blobs

What do you mean by "Booring" I don´t understand this word?
Thanks

I think he means Booting, with T.

Gottfried

Hope this helps,
Ekaitz

Attachment: OpenPGP_0xD9E413C6C4BB32CE.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature.asc
Description: OpenPGP digital signature

Reply via email to