[test]
tags = benchmark
arch_whitelist = x86
kernel = micro