I would say that the HAL and drivers in the Kinetis SDK are going to be the new software foundation for all other software products. Processor Expert is still a key tool for Kinetis application development, we've just shifted from generating drivers with PEx (logical device drivers, LDDs) to generating configuration data for pre-existing drivers. This allows users to choose if they want to use PEx or not. PEx will still be capable of generating low-level initialization code (e.g. for quick configuration right out of reset), pin multiplexing functions, clock configurations and other BSP related software. It still offers a nice GUI for peripheral drive configuration as well - the user experience is identical to generating LDDs, the difference is that the underlying driver software isn't changing and PEx is creating configuration data structures used to initialize the peripherals instead.
The Kinetis SDK already has a operating system abstraction (OSA) with support for MQX, FreeRTOS and uC/OS-II(-III). We will be expanding the support to additional RTOSs also. In this regard, you can think of the Kinetis SDK as the source of the BSP.
-Michael