Running native code on Lego prime hub

[pepijndevos]

The Lego Robotics Inventor and Spike Prime hubs are STM32 based robotics kits that run Micropython.
There is an open source firmware that might be easier to work with... or not: https://github.com/pybricks/pybricks-micropython

I'm trying to follow this example for generating .mpy files with native code in them: https://docs.micropython.org/en/latest/develop/natmod.html

However, upon running this on the Pybricks firmware I get ValueError: incompatible .mpy arch and digging around in the code a bit it looks like they don't set a native architecture at all. They also suggested MICROPY_DYNAMIC_COMPILER might need to be enabled, but weren't completely sure what needs to be done to enable native code support.

I tried to enable either ARM or THUM:

#define MICROPY_EMIT_THUMB                      (1)
#define MICROPY_EMIT_ARM                        (1)

but either gives the following error:

In file included from ../../micropython/py/emitnarm.c:16:
../../micropython/py/emitnative.c: In function 'emit_native_binary_op':
../../micropython/py/emitnative.c:2366:38: error: comparison is always true due to limited range of data type [-Werror=type-limits]
 2366 |         } else if (MP_BINARY_OP_LESS <= op && op <= MP_BINARY_OP_NOT_EQUAL) {
      |                                      ^~
cc1: all warnings being treated as errors

This error doesn't really make sense to me, since this type of op appears to be an enum, and the constant a member of that enum.

So anyway, I'm a bit stuck and confused about how to run native code on this device. Any help appreciated.

[pepijndevos]

I may have fixed the issue, or at least made the error go away hehe #10855

Now with emit thumb I can load the factorial example 🎉