New ARM MicroOS snapshot 20231217 released!