The functionality has been distributed to:

 - kernel (hardware_version, freertos_sleep)
 - uctx (scope)
 - sys_buttons (new, low-level button access)
 - sys_display (new, low-level display access)

dx authored 1 year ago and q3k committed 1 year ago

Required a bunch of renaming from ctx.Ctx to ctx.Context (its real name)

Makes the docs actually show docstrings

Also apparently mypy doesn't like "from typing_extensions import
Protocol" and the fact that it didn't complain so far means that we're
probably not type checking everything.

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.