enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

1
2
/* dummy file for external tools to use.  Real file is created by
   newlib configuration. */