server kernel: martial source