x %d\r\n&quot;, VGAController.getScreenWidth(), VGAController.getScreenHeight());</div><div class="line">  Terminal.printf(&quot;\e[32mTerminal Size      :\e[33m %d x %d\r\n&quot;, Terminal.getColumns(), Terminal.getRows());</div><div class="line">  Terminal.printf(&quot;\e[32mKeyboard           :\e[33m %s\r\n&quot;, Keyboard.isKeyboardAvailable() ? &quot;OK&quot; : &quot;Error&quot;);</div><div class="line">  Terminal.printf(&quot;\e[32mFree DMA Memory    :\e[33m %d\r\n&quot;, heap_caps_get_free_size(MALLO