12
12
# VirtualBox OSE distribution. VirtualBox OSE is distributed in the
13
13
# hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
15
# Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa
16
20
# This needs to go into /platform/i86pc/kernel/drv,
17
21
# while the 64-bit driver object goes into the amd64