@bernod: ich habe mich da direkt an die Anleitung gehalten und die Kext genommen, die auch da heruntergeladen wird. Zusätzlich dazu wird dann ja noch ne SSDT erstellt und die config.plist um einen Eintrag erweitert. Im EFI hab ich eigentlich nur die wichtigen Kexte gelassen. Mal gucken wie es nach dem nächsten Update aussieht
Was heißt BIOS gepatcht? Habe es nur "freigeschaltet", damit ich die DVMT_pre-alloc ändern konnte. Mehr hab ich nicht gemacht. Oder was meinste?