Program to automatically produce a kernel module source code for LogicDroid based on XML specification