# Kernel for Mini Systems<a name="EN-US_TOPIC_0000001124663064"></a>