Zephyr Development Environment for Students. - Johannes Witzig; Flavio Felder; Vixay Phimmasane; Simon Künzli 003; Andreas Rüst (ZiSE, 2025)