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

[li94575]

At 2016-10-29 00:28:30, g4 at novadsp.com wrote:
>Hello
>
>> And could you tell me how to run udev or mdev?
>
>This is quite useful: http://free-electrons.com/doc/mdev-lab.pdf

Thank you!  After adding "mdev -s" in file /etc/init.d/rcS, I can find device nodes in /dev/ directory
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20161101/5903d3c2/attachment.html>