OS kernel assignments