Can't find device node in /dev/ directory!

li94575 li94575 at
Fri Oct 28 17:08:32 CEST 2016

At 2016-10-27 22:33:01, "Matthias Lange" <matthias.lange at> wrote:
>On 10/27/2016 04:29 PM, li94575 wrote:
>> Hi, 
>>    I added some drivers in l4linux, of course, I assigned the
>> corresponding peripheral resources (iomem, irq) to these drivers.
>> From the driver's output log, it seems that they all work well, but when
>> entering the command line, I could not find any relevant
>> device node in /dev/ directory. To my confusion, I can see these devices
>> info in /sys/ directory. 
>>   The command line args is showing below:
>>   mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-" ..  L4.Info.arch() .. ".rd
>> ramdisk_size=4000
>>   Any idea?
>Do you have devtmpfs configured in your L4Linux kernel? Did you ran udev
>or mdev to populate /dev?
>Thank you very much for your reply!It seems not to help, after configuring devtmpfs in l4linux kernel. I have selected the following two options.make menuconfig-->Device Drivers-->Generic Driver Options
-->Maintain a devtmpfs filesystem to mount at /dev
    -->Automount devtmpfs at /dev, after the kernel mounted the rootfsNow I can only see these device nodes in dev/ directory:And could you tell me how to run udev or mdev?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 2016-10-27.jpg
Type: image/jpeg
Size: 45729 bytes
Desc: not available
URL: <>

More information about the l4-hackers mailing list