Files not found (missing dhserver.h)

[DatanoiseTV]

https://github.com/luigifcruz/pico-stuff/blob/main/lib/networking gives me a 404.

fatal error: dhserver.h: No such file or directory
   31 | #include "dhserver.h"

[luigifcruz]

Are you using the patched version of the Pico SDK? The standard one doesn't include the necessary headers for this app in particular.

[mordae]

If anyone else stumbles here, this is what worked for me. After https://github.com/raspberrypi/pico-sdk/pull/334 has been resolved, it won't be needed anymore.

Fetch the patched SDK:

git submodule set-branch --branch patch-piccolosdr pico-sdk
git submodule update --remote
git submodule update --init --recursive

Then continue as usual.