L4Linux LKM

karim.allah.ahmed at gmail.com karim.allah.ahmed at gmail.com
Wed Feb 3 12:00:43 CET 2016

Hello Nourhan,

On Wed, Feb 3, 2016 at 11:47 AM, Nourhan Mohamed
<nourhan.abdeltawab at gmail.com> wrote:
> Dear all,
> I wanted to create a simple character device on L4Linux. I managed to
> cross-compile the module and run it on L4Linux on Versatile Express Realview
> Cortex-A15 ARM machine using the following command:
> make -C ~/l4re/obj/l4linux/arm-mp/ M=$PWD
> CROSS_COMPILE=/usr/bin/arm-linux-gnueabi- L4ARCH=arm CONFIG_TCG_TPM=m
> modules V=1
> When I try to insert the module using the insmod command I get the following
> printed out from the module:
> chardev: registered correctly with major number 254
> chardev: device class registered correctly
> chardev: device class created correctly
> With no failures in initializing the device printed at all. Also lsmod
> displays the device in the module list with status live.
> However, the device doesn't appear in the /dev/ directory and hence I can
> not access it using the file operations. Any ideas where is the device
> located or how can it be accessed on L4Linux?

In linux systems, device nodes are not necessarily automatically
generated under /dev/.

Use 'mknod' command-line to create a device node in user space that's
connected to this character device.


> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Karim Allah Ahmed.

More information about the l4-hackers mailing list