https://www.tdcommons.org/cgi/viewconte … ubs_series

2018-07-30, Kumar K.T.P. & Chatterjee S., A least-disruptive mechanism to compile integral and pointer types of unknown compile-time size to EFI Byte Codetypes of unknown compile-time size to EFI Byte Code

«the compiled EBC image can potentially be run on any architecture and platform
that supports the EBC Virtual Machine.»

«the UEFI specification describes a natural indexing mechanism, along with
the introduction of a new integral type INTN, the size of which is dependent on the runtime target
architecture. This implies that the size of the pointer (void*) and the newly introduced natural types
(INTN/UINTN) is unknown at compile time, being dependent on the runtime architecture of the platform
on which the EBC driver is executed.»

«a well-defined technique to handle pointer (void*) and natural (INTN/UINTN) types
with runtime target dependent size is critical in being able to implement a C compiler with the ability to
compile to (target) platform and processor independent EBC.»

«With the specification (Unified Extensible Firmware Interface Specification, V2.6) for variable pointers
and Natural types (INTN/UINTN) none of the existing compiler implementations can be used to generate
EFI Byte Code (EBC).»

Звучит как вызов, не так ли? Прямо таки ниша - создать средство для разработки таких приложений
в нашей передовой империи и продавать его диким недоразвитым островитянам.