First of all thanks Porteus Team for creating a superr OS out of Linux, that can be used both a everyday OS and as Live CD.
I have been using this for more than a year.
Recently booted from a laptop and found SD Card is not getting detected in the MMC slot. - Winbond W83L51xD SD/MMC card

OS Tried - Porteus v5.0rc1-64
Here are some couple of outputs found terminal
dmseg | grep Win - [ 0.7832] wbsd: Winbond W83L51xD SD/MMC card interface driver
lspci -v - does not show this device (suspect kernel module is not loaded)
Checked config in Kernel and found
CONFIG_MMC=y
CONFIG_MMC_WBSD=y
and couple of other MMC configs as "Yes"
On searching internet I only got a Kconfig file.
Could you please assist and sorry for not making if brief.

Thanks in Advance
