Supported device drivers

At this time, we only support one device driver : the realtek 8029 ethernet controller. This device is simulated by QEMU and thus, can be easily tested and simulated on every computer that uses QEMU.

However, implementing other device driver can be easily achieved, by changing the Device_Name property in the model and adding some functions in the libpok layer of POK.