So I'm working on a project that involves a Teensy 4.0 connected to a Raspberry Pi over USB, my idea is to have the Teensy:

1. Send keystroke data to the Pi from some external buttons

2. Appear as a USB MIDI device to which the Pi can send MIDI messages

Having just gotten the basic hang of Teensyduino, I notice that there's no option under Tools> USB Type for Keyboard + MIDI, though there is Serial + MIDI. Can I send keystrokes with the Serial + MIDI configuration? Or is there some other way to set it up as a USB device for both keystroke and MIDI output? Is it necessary to do something outside the Arduino IDE to do this? Thanks!