Help! Can't find SDK after compiling from source

Hello, first time poster here. I downloaded the LEDE source from git, and configured make menuconfig like so (did not change any other options other than to select Build the LEDE Image SDK):

After running make, I can't seem to find the folder where the resulting SDK resides. The guide https://lede-project.org/docs/guide-developer/compile_packages_for_lede_with_the_sdk did not rly seem to help. I know this is noob question but can anyone tell me where the SDK got installed?
Cheers

It should be in the ./bin/targets/ar71xx/generic/

As a follow up question, I am trying to use the SDK to compile the rtl8812au driver for my usb network adapter, on the LEDE ARM7 Raspberry PI image, but am having troubles figuring out how. Would you be able to point me in the right direction?