/include/ "system-conf.dtsi" / { chosen { bootargs = "console=ttyPS0,115200 earlyprintk uio_pdrv_genirq.of_id=generic-uio"; }; }; &myip_0 { compatible = "generic-uio"; }; &mypwm_0 { compatible = "generic-uio"; };