Have I overlooked a package that includes this driver?If you used the "provides" function of the apps gui to search the contents of the extensions for "r8723au.ko" and it didn't come up with anything, then no.
If the driver is not available for TC at this time, are there any FAQs or other info I can reference to attempt to pull the driver from somewhere else (or build it from scratch), and package it for use on my machine?I didn't check, but if the driver is in staging, you could probably use the tinycore patched kernel source to compile the driver by modifying the tinycore config or compiling the driver directly.
Edit: If you load the tinycore kernel config, you can enable the compilation of your driver with:
make menuconfig -> device drivers -> staging drivers -> realtek rtl8723au -> m
$ modinfo /usr/src/linux-4.2.9/drivers/staging/rtl8723au/r8723au.ko.gz