Hi, I'm having trouble with the install instructions running Ubuntu 20.04 on WSL2. Specifically, the "make" right before "make install-local" is giving me a "PDK_ROOT is not set" error as follows:

Try "sudo -E make"

Thanks! That seems to have made a difference. Now to go look up what I just did.:P