main for oligokernel