Double dash syntax support added to kernel.