This appendix describes device drivers currently implemented in the . The descriptions are in the same format as those in Appendix . Note that these drivers are platform-dependent.