This is not needed on the badge, and `import main` in boot.py actually
breaks mpremote.

Stupidly large diff, I got carried away.

This makes the simulator one step closer to be usable: we now have
petal input and an actually fast UI/renderer.

This implements a basic Python simulator for the badge. It currently
can't do much other than just displaying the main selection screen, as
it implements no inputs.

dx authored 1 year ago and q3k committed 1 year ago

Changes by moon2 from a merge commit in dev_p4 branch

iggy authored 1 year ago and q3k committed 1 year ago

brought uctx up to speed with the help of https://github.com/micropython/micropython/wiki/Build-Troubleshooting

This moves badge hardware generation selection over from a header file
into ESP-IDF configuratbility.

The generaiton can now be selected by specifying `BADGE_GENERATION` or
`-g` when running the initial built.

In addition, each generation now gets its own sdkconfig.defaults file
(instead named sdkconfig.$generation) and the big autogeneration
sdkconfig file gets yeeted.