diff options
Diffstat (limited to 'usr/src/uts/i86pc/os/ddi_impl.c')
| -rw-r--r-- | usr/src/uts/i86pc/os/ddi_impl.c | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/usr/src/uts/i86pc/os/ddi_impl.c b/usr/src/uts/i86pc/os/ddi_impl.c index ce92a564ec..1ddc6aa0f7 100644 --- a/usr/src/uts/i86pc/os/ddi_impl.c +++ b/usr/src/uts/i86pc/os/ddi_impl.c @@ -73,9 +73,10 @@ */ /* - * No platform drivers on this platform + * Platform drivers on this platform */ char *platform_module_list[] = { + "acpippm", "ppm", (char *)0 }; @@ -1947,9 +1948,18 @@ get_vga_properties(void) char property_val[50]; void *bop_staging_area; - major = ddi_name_to_major("vgatext"); - if (major == (major_t)-1) - return; + /* + * XXXX Hack Allert! + * There really needs to be a better way for identifying various + * console framebuffers and their related issues. Till then, + * check for this one as a replacement to vgatext. + */ + major = ddi_name_to_major("ragexl"); + if (major == (major_t)-1) { + major = ddi_name_to_major("vgatext"); + if (major == (major_t)-1) + return; + } devi = devnamesp[major].dn_head; if (devi == NULL) return; |