An example shows how to use the linux kernel list for our development