The code to exploit the win32k.sys vulnerability is stored in resource 250. Details of the Task Scheduler vulnerability currently are not released as patches are not yet available. The Win32k.sys vulnerability is described in