* The reasons I'm thinking using a HAL directly in discovery book is this: - It's more easily relatable to other boards - It's easier to port the example code to other hardware - It's less maintenance overhead than to go via a board support crate. - The board itself doesn't seem to be a particular important part of the discovery book teachings.