mirror of
https://github.com/micropython/micropython.git
synced 2026-06-12 09:35:14 +02:00
4c6892e4db
These were define with default values, but port specific values can be used instead. Signed-off-by: robert-hh <robert@hammelrath.com>