[Virtualbox kernel module][Archlinux] How to compile virtualbox kernle module

Download linux-headers-4.13.9-1-x86_64.pkg.tar.xz

Decompress the package
tar xvf linux-headers-4.13.9-1-x86_64.pkg.tar.xz -C linux-headers
cd linux-headers/usr/lib/modules/4.13.9-1-ARCH/build

Copy the linux source code to corresponding folder.
sudo cp * /lib/modules/4.13.9-1-ARCH/build/ -Rf

---

Download vbox-kernel-module - vbox-kernel-module-src-5.2.0.tar.xz

Decompress the package
tar xvf vbox-kernel-module-src-5.2.0.tar.xz -C /tmp
cd /tmp/
make
sudo make install

Make install will copy to following folder
/lib/modules/4.13.9-1-ARCH/misc

According to following hyperlink will understand how to mount kernel module after reboot.
[Virtualbox][Archlinux] Upgrade vboxdrv.ko after upgrade Linux kernel
echo vboxdrv >> /etc/modules-load.d/virtualbox.conf &&\
echo vboxnetadp >> /etc/modules-load.d/virtualbox.conf &&\
echo vboxnetflt >> /etc/modules-load.d/virtualbox.conf &&\
echo vboxpci >> /etc/modules-load.d/virtualbox.conf

---

Vagrant

[VirtualBox][Vagrant] How to install and use vagrant