Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
gentoo_xen [2016/04/28 15:59] steve |
gentoo_xen [2016/05/02 10:37] steve |
||
|---|---|---|---|
| Line 55: | Line 55: | ||
| <*> userspace grant access device driver | <*> userspace grant access device driver | ||
| <*> User-space grant reference allocator driver | <*> User-space grant reference allocator driver | ||
| - | <M> Xen PCI-device backend driver | + | <*> Xen PCI-device backend driver |
| <*> Xen ACPI processor | <*> Xen ACPI processor | ||
| [*] Xen platform mcelog | [*] Xen platform mcelog | ||
| + | [*] Xen symbols | ||
| </code> | </code> | ||
