todo: MOESI et kernel