Release 1.0: tracking issue

Tracking issue for 1.0 release, which will be flashed on badges before they get handed out.

Deadline for main merges is at 14:00 CEST 2023/08/13.

Deadline for release is at 18:00 CEST 2023/08/13.

Developers/maintainers: feel free to edit the following list with anything else which needs to be done/verified.

TODO:

• rename badge_link to badgelink: d4feab41
• demote rast/crtc errors to info: b2e1eb84
• rename internal usermodules to sys_*: !108 (merged)
• rename proto6 hw rev to cccamp23/c23: !109 (merged)
• QA:
  • verify all apps on badge work as expected
  • verify wifi
  • verify bluetooth
  • verify badgelink
  • verify badgenet
  • verify recovery mode
  • verify REPL