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