updated dev.c and rx.c with printk for debugging