Beberapa desain kernel sistem operasi