These code snippets set up two I2C buses on a T3.5, both at 400kHz:
Code:
#include <i2c_t3.h> // I2C for teensy (replaces wire.h)
.
.
void setup {
.
.
Wire.begin (I2C_MASTER,0x00,I2C_PINS_18_19,I2C_PULLUP_EXT,400000); // SDA0/SCL0 I2C at 400kHz
Wire1.begin(I2C_MASTER,0x00,I2C_PINS_37_38,I2C_PULLUP_EXT,400000); // SDA1/SCL1 I2C at 400kHz
.
.
}
Those 400000 values set the bus speeds. Now I haven't tried using different bus speeds myself but I'm pretty confident it will work, (although i'd be happy to be proven wrong!).
Have a look at the documentation for the the i2c_t3 library on GitHub where it explains how to set different bus speeds.
let us know how you go!