2007-12-19 printk debian driver printkの出力は/var/log/kern.logにでてた。 デバイスドライバのmakeはこんな感じ。 # cat Makefile obj-m := hello.o # make -C /usr/src/linux-2.6.23 M=`pwd` V=1