Arduino/genuino 101 compatible? and others?

I only found an entry for Arduino Industrial 101
is there a list of compatible devices?

Are we able to add boards the same way as Arduino IDE?
and for instance the MK20DX256VLH7 ?

Love what you made here btw, i really want to try it!