Changed type of variable to match type in kernel
[akaros.git] / OVERVIEW