$ cat /proc/cpuinfo |grep MHz
cpu MHz         : 501.123

$ export TARGET=LINUX_X86
$ time make
if [ ! -x BuildPressureSensor.bash ]; then chmod u+x BuildPressureSensor.bash; fi
if [ ! -d LINUX_X86 ]; then mkdir LINUX_X86;fi
./BuildPressureSensor.bash  -tidy
Performing a clean build of the following drivers: PressureSensor
Compiling PressureSensor.c ...
Linking LINUX_X86/PressureSensor.drv...
Removing intermediate files, because you specified -tidy...

real    0m1.552s
user    0m1.354s
sys     0m0.133s

$ su
Password:
# insmod LINUX_X86/PressureSensor.drv
# tail /var/log/messages
(this output has been shortened and modified, for clarity):
redhat kernel: init_module: Allocating resources.
redhat kernel: Successully registered PressureSensor, major number 252
redhat kernel: Run: mknod /dev/PressureSensor c 252 0

# mknod /dev/PressureSensor c 252 0
# chmod a+w /dev/PressureSensor
# exit