Hi Marshall,
We currently do not have C6454 support in TI-RTOS (see TI-RTOS supported targets). But unfortunately there is a bug in TI Resource Explorer which shows C6454 examples under TI-RTOS for C6000 even for the devices that are not supported. A bug report (SDOCM00107403: TI-RTOS needs to filter TRex devices that are not supported) has been filed against TI-RTOS.
Having said that, C6454 is supported by SYS/BIOS (which is the kernel) and hence you could find the libraries for it under the standalone BIOS product.
I know this is confusing, so let me try to explain more clearly. SYS/BIOS is the kernel whereas TI-RTOS is the whole RTOS product which includes SYS/BIOS (the kernel), NDK (networking), file system, drivers and other products. SYS/BIOS which is a much older product has support for many TI parts but not all of these support have found its way to the TI-RTOS product. TI-RTOS product contains only a subset of the SYS/BIOS support currently. So this is the reason that you could find libraries in SYS/BIOS that are not part of TI-RTOS.
Hope this helps.
Sorry about the confusion.
Vikram