This is good advice however it should be noted that many of espressif's other purely software components depend on esp-hal, so you still want it to compile if y

This is good advice however it should be noted that many of espressif's other purely software components depend on esp-hal, so you still want it to compile if you use any of espressif's provided components.