Untuk standard jalankan berikut ini sebagai root:
zypper addrepo https://download.opensuse.org/repositories/home:vliaskovitis:branches:kernel:hdmi-opt-v4-config:kernel-default/standard/home:vliaskovitis:branches:kernel:hdmi-opt-v4-config:kernel-default.repo
zypper refresh
zypper install kernel-debug
Untuk PPC jalankan berikut ini sebagai root:
zypper addrepo https://download.opensuse.org/repositories/home:vliaskovitis:branches:kernel:hdmi-opt-v4-config:kernel-default/PPC/home:vliaskovitis:branches:kernel:hdmi-opt-v4-config:kernel-default.repo
zypper refresh
zypper install kernel-debug
Untuk ARM jalankan berikut ini sebagai root:
zypper addrepo https://download.opensuse.org/repositories/home:vliaskovitis:branches:kernel:hdmi-opt-v4-config:kernel-default/ARM/home:vliaskovitis:branches:kernel:hdmi-opt-v4-config:kernel-default.repo
zypper refresh
zypper install kernel-debug