experiments with de1-soc: custom digital hardware driven from ARM running linux (custom device drivers)