You are not logged in.

#1 2021-09-21 08:31:32

hayao
Member
From: Japanese
Registered: 2020-04-30
Posts: 19
Website

edk2-shell

I am modifying Archiso 58 to create a live disk of Arch Linux 32.
I need edk2-shell to use UEFI Shell with b32Bit UEFI. Is it possible to add this package to the official repository?

Offline

#2 2021-09-21 16:24:44

abaumann
Administrator
From: Zurich
Registered: 2019-11-14
Posts: 366
Website

Re: edk2-shell

Did anything change regarding being compilable on 32-bit since https://bbs.archlinux32.org/viewtopic.php?id=3075 ?

I still get:
- on pentium4/i686:
  cc1: error: code model ‘small’ not supported in the 32 bit mode
cc1: sorry, unimplemented: 64-bit mode not compiled in
- on 486: aarch64-linux-gnu-gcc is missing, weird, but well, I suppose there is an EFI for AARCH64 too, but why should one build one for an AMD64-only distribution?

I'll give it a shot, but I cannot promise anything. Low-level firmware is not exactly my strengh.. :-)

As long it is that easy just to remove aarch64 and AMD64 from _arch, It might be worth a try...

Offline

#3 2021-09-21 16:42:19

abaumann
Administrator
From: Zurich
Registered: 2019-11-14
Posts: 366
Website

Re: edk2-shell

All I get is:

-rw-r--r-- root/root    845184 2021-09-21 17:36 usr/share/edk2-shell/ia32/Shell.efi
-rw-r--r-- root/root    925824 2021-09-21 17:36 usr/share/edk2-shell/ia32/Shell_Full.efi

If this enough, then fine. :-)

I cannot test this (due to lack of hardware).

Offline

#4 2021-09-21 17:04:33

abaumann
Administrator
From: Zurich
Registered: 2019-11-14
Posts: 366
Website

Re: edk2-shell

ok. edk2-shell and edk2-ovmf hit stable. let me also rebuild archboot.
Sorry about that, I didn't realize that archboot is quite a core package..

mmh.

==> Validating source files with sha256sums...
    archboot ... Skipped
==> Verifying source file signatures with gpg...
    archboot git repo ... FAILED (the public key 5B7E3FB71B7F10329A1C03AB771DF6627EDF681F is not trusted)

also upstream..

local patching in archboot also fails..

then I get:

/startdir/PKGBUILD: line 65: cd: /build/archboot/src/archboot: No such file or directory

Offline

#5 2021-09-21 17:24:17

abaumann
Administrator
From: Zurich
Registered: 2019-11-14
Posts: 366
Website

Re: edk2-shell

aha, our patching fails.. done.
and we blocked building so EFI stuff.

Offline

#6 2021-09-21 21:11:47

levi
Moderator
From: Yorkshire, UK
Registered: 2018-06-16
Posts: 967

Re: edk2-shell

So long as none of this lands on my machines I can't really say why.  My machines are real 32-bit vintage as as such don't support UEFI.


Architecture: pentium4, Testing repos: Yes, Hardware: EeePC 901+2GB RAM+OS half on the SD card.

Offline

#7 2021-09-22 18:58:44

abaumann
Administrator
From: Zurich
Registered: 2019-11-14
Posts: 366
Website

Re: edk2-shell

Mmh archboot looks very 64-bittish to me, this requires a full Archlinux32 fork readding all things having been deleted in 2017..
(sounds like something which should go into https://git.archlinux32.org/archboot32/ or so?).

Offline

Board footer

Powered by FluxBB