How to Fix Mac OS X Lion fails to boot on Dell Vostro 1720

Hi /r/hackintosh,

I'm trying to boot Mac OS X Lion on a Dell Vostro 1720, with not much success.

OpenCore loads succesfully - for some reason I do not have keyboard control despite installing the PS2 EFI drivers, but this is not an issue, as it automatically starts to load the Mac OS X installer. My screen goes black, and the light on my USB stick blinks for 30 seconds to a minute.

After 30s-1m, I start to get text on the screen, indicating a boot failure:

OCMCO: UNIX Thread and Main LCs are unsupported OCMCO: UNIX Thread and Main LCs are unsupported Loading kernel cache file 'System\Library\Caches\com.apple.kext.caches\Startup\kernelcache'... OCMCO: UNIX Thread and Main LCs are unsupported OCMCO: UNIX Thread and Main LCs are unsupported ........Error allocating 0x56f pages at 0x0000000000200000 alloc type 2 Loading 'mach_kernel'... Error loading 'mach_kernel' (0xe) OCB: StartImage failed: aborted 

After a few seconds, it then kicks me back to the OpenCore menu.

Does anyone here have any ideas why it's not booting? I've checked my plist.config, and everything seems to be correct, but I could be wrong - I've never used OpenCore before.

I'd be happy to provide more information (logs, my config.plist, etc etc) if it'd help.

Details of my hardware can be found below: