Some of you may not have noticed the update: "Our team has several drivers and libraries in development.
Drivers like NETWORK, WIFI, SDCard, IDE, RTG Graphics....
These drivers which we develop can utilize and benefit from Hyper-threading already today - even without OS support for SMP.
Using Hyperthreading on such drivers lowers latency, improves thoughput (faster IDE/ faster Internet), and improves the snappiness of the whole system."