Simple Device Driver for the VGA 7-segment LED emulator

make

# To display Kernel debugging messages on the console
echo 8 > /proc/sys/kernel/printk

# Alternately,
dmesg | tail -7

insmod vga_led.ko
lsmod
./hello

rmmod vga_led

Once the module is loaded, look for information about it with

lsmod
cat /proc/iomem
ls /sys/module/vga_led
ls /sys/devices/soc.0
ls /sys/class/misc/vga_led
ls /sys/bus/drivers