Yosys kernel commands
---------------------

.. autocmdgroup:: kernel
   :members: