From: Dave Penkler > Sent: 04 December 2024 16:21 > > These drivers cast resource_type_t to void * causing the build to fail. > > With CONFIG_X86_PAE enabled the resource_size_t type is a 64bit unsigned > int which cannot be cast to a 32 bit pointer. > > Disable these drivers if X68_PAE is enabled You missed the obvious typo :-) There is also a proposal to just remove PAE support. Mostly because it is likely to have bit-rotted and isn't really needed now 64bit code is common. David - Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UK Registration No: 1397386 (Wales)
