Pemacu peranti
Pemacu peranti (bahasa Inggris: "Device driver") adalah istilah teknologi informasi yang mengacu kepada komponen perangkat lunak yang mengizinkan sebuah sistem komputer untuk berkomunikasi dengan sebuah perangkat keras. Sebagian besar perangkat keras, tidak akan dapat berjalan atau sama sekali tidak dapat berjalan tanpa "driver" yang cocok yang terinstal di dalam sistem operasi. "Device driver", umumnya akan dimuat ke dalam ruangan kernel ("kernelspace") sistem operasi selama proses booting dilakukan, atau secara sesuai permintaan (ketika ada intervensi pengguna atau memasukkan sebuah perangkat "plug-and-play"). Beberapa sistem operasi juga menawarkan "device driver" yang berjalan di dalam ruangan pengguna ("userspace") sistem operasi. Beberapa "driver" telah dimasukkan ke dalam sistem operasi secara "default" pada saat instalasi, tetapi banyak perangkat keras, khususnya yang baru, tidak dapat didukung oleh "driver-driver" bawaan sistem operasi. Adalah tugas pengguna yang harus menyuplai dan memasukkan "driver" ke dalam sistem operasi. Driver juga pada umumnya menyediakan layanan penanganan interupsi perangkat keras yang dibutuhkan oleh perangkat keras.
Mikrokernel
Dalam pengetahuan Ilmu Komputer, mikrokernel merupakan seperangkat perangkat lunak dalam jumlah minimum yang meyediakan beragam mekanisme dasar yang dibutuhkan untuk bekerja sebagai sebuah sistem operasi, seperti halnya manajemen pengalamatan ruang tingkat rendah, manajemen thread, dan komunikasi antar proses. Dalam implementasinya mikrokernel merupakan satu-satunya perangkat lunak yang berjalan dengan tingkat kewenangan tertinggi (umumnya disebut sebagai modus supervisor atau modus kernel) dari serangkaian level kewenangan yang tersedia pada perangkat kerasnya. Layanan yang disediakan oleh sebuah sistem operasi beberapa diantaranya adalah device driver, protokol jaringan, sistem berkas, dan kode antarmuka pengguna yang berada dalam ruang pengguna.