Could you please also answer: (In reply to v bm from comment #6) > (In reply to Fabian Vogt from comment #5) > > Which system are you installing on? 32bit EFI on 64bit hardware is quite > > rare. That would be useful to estimate the relevance of 32bit EFI support in MicroOS.