XV6 kernel with RCU functionality