Well, the two stones you mentioned are families of Aluminum Oxide (Boride T2) and Silicon Carbide (Boride CS-HD), respectively. You did not mention what grits you have, nor the specific details about the knife and the steel type, other than stainless. Those stones come in smaller sizes and not regular full-size bench stones, so maybe you are using a guided system?
For general sharpening of typical German steel kitchen knives, I would go with the T2 stones in a couple of grits, maybe 320 and 600, or perhaps a 220 if you need to do some more metal removal first, before moving onto the finer stones. Boride stones use FEPA standard for the numbering convention, so that would equate to a medium and fine.
I personally use a Norton IB-8 India oil stone, which is an 8" bench stone, Aluminum Oxide, 2-sided coarse-fine, and a 2-sided soft/hard Arkansas stone, which is natural novaculite stone, 8" bench stone, for typical European steels.
For Japanese steels I use a set of Shapton Pro 8" water stones ranging from 320, 1000, 2000, 5000 JIS grit ratings, though I use the 1000 more than anything else, which would be equivalent to the F600 Boride T2 as far as grit rating.