esp-rs
                                
                                
                                
                                    esp-rs copied to clipboard
                            
                            
                            
                        Find a way, if possible to avoid checking out esp8266/Arduino
It seems to be used only for one of the -I flags passed to bindgen as a local directory (although it's also possible that using it as the working directory when running bindgen has some impact).
If it turns out to be impossible, it's worth documenting the reasons.