root@raspberrypi:~# lsmod

Module                  Size  Used by

tun                    18459  2

i2c_dev                 5557  0

w1_therm                2921  0

w1_gpio                 2363  0

wire                   24832  2 w1_gpio,w1_therm

cn                      4783  1 wire

snd_bcm2835            16165  0

evdev                   9419  1

r820t                  16279  1

rtl2832                 8020  1

snd_soc_bcm2708_i2s     5474  0

regmap_mmio             2806  1 snd_soc_bcm2708_i2s

dvb_usb_rtl28xxu       14333  0

dvb_usb_v2             14860  1 dvb_usb_rtl28xxu

rc_core                16313  3 dvb_usb_rtl28xxu,dvb_usb_v2

rtl2830                 7378  1 dvb_usb_rtl28xxu

snd_soc_core          131268  1 snd_soc_bcm2708_i2s

dvb_core               92797  3 rtl2830,rtl2832,dvb_usb_v2

regmap_spi              1897  1 snd_soc_core

snd_pcm                81593  2 snd_bcm2835,snd_soc_core

snd_page_alloc          5156  1 snd_pcm

regmap_i2c              1645  1 snd_soc_core

snd_compress            8076  1 snd_soc_core

snd_seq                53769  0

snd_timer              20133  2 snd_pcm,snd_seq

snd_seq_device          6473  1 snd_seq

leds_gpio               2059  0

led_class               3688  1 leds_gpio

snd                    61291  7 snd_bcm2835,snd_soc_core,snd_timer,snd_pcm,snd_seq,snd_seq_device,snd_compress

i2c_bcm2708             3949  0

This is a portion of /var/log/messages

Dec 23 13:15:06 raspberrypi kernel: [    2.369348] usb 1-1: new high-speed USB device number 2 using dwc_otg

Dec 23 13:15:06 raspberrypi kernel: [    2.377867] Indeed it is in host mode hprt0 = 00001101

Dec 23 13:15:06 raspberrypi kernel: [    2.387121] devtmpfs: mounted

Dec 23 13:15:06 raspberrypi kernel: [    2.399736] Freeing unused kernel memory: 144K (c0572000 - c0596000)

Dec 23 13:15:06 raspberrypi kernel: [    2.590087] usb 1-1: New USB device found, idVendor=0424, idProduct=9512

Dec 23 13:15:06 raspberrypi kernel: [    2.599431] usb 1-1: New USB device strings: Mfr=0, Product=0, SerialNumber=0

Dec 23 13:15:06 raspberrypi kernel: [    2.609377] hub 1-1:1.0: USB hub found

Dec 23 13:15:06 raspberrypi kernel: [    2.615786] hub 1-1:1.0: 3 ports detected

Dec 23 13:15:06 raspberrypi kernel: [    2.899604] usb 1-1.1: new high-speed USB device number 3 using dwc_otg

Dec 23 13:15:06 raspberrypi kernel: [    3.009979] usb 1-1.1: New USB device found, idVendor=0424, idProduct=ec00

Dec 23 13:15:06 raspberrypi kernel: [    3.018605] usb 1-1.1: New USB device strings: Mfr=0, Product=0, SerialNumber=0

Dec 23 13:15:06 raspberrypi kernel: [    3.047105] smsc95xx v1.0.4

Dec 23 13:15:06 raspberrypi kernel: [    3.124437] smsc95xx 1-1.1:1.0 eth0: register 'smsc95xx' at usb-bcm2708_usb-1.1, smsc95xx USB 2.0 Ethernet, b8:27:eb:30:43:fd

Dec 23 13:15:06 raspberrypi kernel: [    3.229549] usb 1-1.3: new high-speed USB device number 4 using dwc_otg

Dec 23 13:15:06 raspberrypi kernel: [    3.352535] usb 1-1.3: New USB device found, idVendor=0bda, idProduct=2838

Dec 23 13:15:06 raspberrypi kernel: [    3.365766] usb 1-1.3: New USB device strings: Mfr=1, Product=2, SerialNumber=3

Dec 23 13:15:06 raspberrypi kernel: [    3.375070] usb 1-1.3: Product: RTL2838UHIDIR

Dec 23 13:15:06 raspberrypi kernel: [    3.381218] usb 1-1.3: Manufacturer: Realtek

Dec 23 13:15:06 raspberrypi kernel: [    3.391654] usb 1-1.3: SerialNumber: 00000001

Dec 23 13:15:06 raspberrypi kernel: [    5.123693] bcm2708_i2c_init_pinmode(0,0)

Dec 23 13:15:06 raspberrypi kernel: [    5.249498] bcm2708_i2c_init_pinmode(0,1)

Dec 23 13:15:06 raspberrypi kernel: [    5.255625] bcm2708_i2c bcm2708_i2c.0: BSC0 Controller at 0x20205000 (irq 79) (baudrate 100k)

Dec 23 13:15:06 raspberrypi kernel: [    5.468627] bcm2708_i2c_init_pinmode(1,2)

Dec 23 13:15:06 raspberrypi kernel: [    5.545257] bcm2708_i2c_init_pinmode(1,3)

Dec 23 13:15:06 raspberrypi kernel: [    5.614064] bcm2708_i2c bcm2708_i2c.1: BSC1 Controller at 0x20804000 (irq 79) (baudrate 100k)

Dec 23 13:15:06 raspberrypi kernel: [    6.451707] usb 1-1.3: dvb_usb_v2: found a 'Realtek RTL2832U reference design' in warm state

Dec 23 13:15:06 raspberrypi kernel: [    6.510309] usbcore: registered new interface driver dvb_usb_rtl28xxu

Dec 23 13:15:06 raspberrypi kernel: [    6.552127] usb 1-1.3: dvb_usb_v2: will pass the complete MPEG2 transport stream to the software demuxer

Dec 23 13:15:06 raspberrypi kernel: [    6.575184] DVB: registering new adapter (Realtek RTL2832U reference design)

Dec 23 13:15:06 raspberrypi kernel: [    6.614879] bcm2708-i2s bcm2708-i2s.0: Failed to create debugfs directory

Dec 23 13:15:06 raspberrypi kernel: [    6.639092] usb 1-1.3: DVB: registering adapter 0 frontend 0 (Realtek RTL2832 (DVB-T))...

Dec 23 13:15:06 raspberrypi kernel: [    6.693199] r820t 2-001a: creating new instance

Dec 23 13:15:06 raspberrypi kernel: [    6.721703] r820t 2-001a: Rafael Micro r820t successfully identified

Dec 23 13:15:06 raspberrypi kernel: [    6.744416] Registered IR keymap rc-empty

Dec 23 13:15:06 raspberrypi kernel: [    6.755520] input: Realtek RTL2832U reference design as /devices/platform/bcm2708_usb/usb1/1-1/1-1.3/rc/rc0/input0

Dec 23 13:15:06 raspberrypi kernel: [    6.785036] rc0: Realtek RTL2832U reference design as /devices/platform/bcm2708_usb/usb1/1-1/1-1.3/rc/rc0

Dec 23 13:15:06 raspberrypi kernel: [    6.808934] usb 1-1.3: dvb_usb_v2: schedule remote query interval to 400 msecs

Dec 23 13:15:06 raspberrypi kernel: [    6.840041] usb 1-1.3: dvb_usb_v2: 'Realtek RTL2832U reference design' successfully initialized and connected

Dec 23 13:15:06 raspberrypi kernel: [   10.489768] EXT4-fs (mmcblk0p2): re-mounted. Opts: (null)

Dec 23 13:15:06 raspberrypi kernel: [   10.929880] EXT4-fs (mmcblk0p2): re-mounted. Opts: (null)

.

.

.