Benchmarking analysis and characterization of hypervisors for space multicore systems