マイクロカーネルであれば
maikurokānerudeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of マイクロカーネル

1. If microkernel; When microkernel

Ba Conditional
Computing