[    0.000000] Linux version 2.6.24-16-rtai (root@hardy) (gcc version 4.2.3 (Ubuntu 4.2.3-2ubuntu7)) #1 Tue Sep 30 22:54:33 EEST 2008 (Ubuntu 2.6.24-12.22-generic)
[    0.000000] BIOS-provided physical RAM map:
[    0.000000]  BIOS-e820: 0000000000000000 - 000000000009fc00 (usable)
[    0.000000]  BIOS-e820: 000000000009fc00 - 00000000000a0000 (reserved)
[    0.000000]  BIOS-e820: 00000000000cc000 - 00000000000d0000 (reserved)
[    0.000000]  BIOS-e820: 00000000000f0000 - 0000000000100000 (reserved)
[    0.000000]  BIOS-e820: 0000000000100000 - 000000000fef0000 (usable)
[    0.000000]  BIOS-e820: 000000000fef0000 - 000000000fef8000 (ACPI data)
[    0.000000]  BIOS-e820: 000000000fef8000 - 000000000ff00000 (ACPI NVS)
[    0.000000]  BIOS-e820: 00000000fec00000 - 00000000fec01000 (reserved)
[    0.000000]  BIOS-e820: 00000000fee00000 - 00000000fee01000 (reserved)
[    0.000000]  BIOS-e820: 00000000ffb00000 - 00000000ffc00000 (reserved)
[    0.000000]  BIOS-e820: 00000000fffc0000 - 0000000100000000 (reserved)
[    0.000000] 0MB HIGHMEM available.
[    0.000000] 254MB LOWMEM available.
[    0.000000] Entering add_active_range(0, 0, 65264) 0 entries of 256 used
[    0.000000] Zone PFN ranges:
[    0.000000]   DMA             0 ->     4096
[    0.000000]   Normal       4096 ->    65264
[    0.000000]   HighMem     65264 ->    65264
[    0.000000] Movable zone start PFN for each node
[    0.000000] early_node_map[1] active PFN ranges
[    0.000000]     0:        0 ->    65264
[    0.000000] On node 0 totalpages: 65264
[    0.000000]   DMA zone: 32 pages used for memmap
[    0.000000]   DMA zone: 0 pages reserved
[    0.000000]   DMA zone: 4064 pages, LIFO batch:0
[    0.000000]   Normal zone: 477 pages used for memmap
[    0.000000]   Normal zone: 60691 pages, LIFO batch:15
[    0.000000]   HighMem zone: 0 pages used for memmap
[    0.000000]   Movable zone: 0 pages used for memmap
[    0.000000] DMI 2.3 present.
[    0.000000] Allocating PCI resources starting at 10000000 (gap: 0ff00000:eed00000)
[    0.000000] Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 64755
[    0.000000] Kernel command line: root=UUID=603114dc-c35e-4ae9-8761-457612be7935 ro quiet splash
[    0.000000] Enabling fast FPU save and restore... done.
[    0.000000] Enabling unmasked SIMD FPU exception support... done.
[    0.000000] Initializing CPU#0
[    0.000000] PID hash table entries: 1024 (order: 10, 4096 bytes)
[    0.000000] Detected 1395.800 MHz processor.
[   10.677329] I-pipe 2.0-04: pipeline enabled.
[   10.679373] Console: colour VGA+ 80x25
[   10.679384] console [tty0] enabled
[   10.680163] Dentry cache hash table entries: 32768 (order: 5, 131072 bytes)
[   10.680827] Inode-cache hash table entries: 16384 (order: 4, 65536 bytes)
[   10.709272] Memory: 249072k/261056k available (1440k kernel code, 11468k reserved, 573k data, 228k init, 0k highmem)
[   10.709290] virtual kernel memory layout:
[   10.709292]     fixmap  : 0xfffed000 - 0xfffff000   (  72 kB)
[   10.709294]     pkmap   : 0xff800000 - 0xffc00000   (4096 kB)
[   10.709296]     vmalloc : 0xd0800000 - 0xff7fe000   ( 751 MB)
[   10.709298]     lowmem  : 0xc0000000 - 0xcfef0000   ( 254 MB)
[   10.709300]       .init : 0xc02fa000 - 0xc0333000   ( 228 kB)
[   10.709302]       .data : 0xc026836d - 0xc02f77ec   ( 573 kB)
[   10.709305]       .text : 0xc0100000 - 0xc026836d   (1440 kB)
[   10.709310] Checking if this processor honours the WP bit even in supervisor mode... Ok.
[   10.709390] SLUB: Genslabs=11, HWalign=32, Order=0-1, MinObjects=4, CPUs=1, Nodes=1
[   10.789348] Calibrating delay using timer specific routine.. 2792.75 BogoMIPS (lpj=5585513)
[   10.789399] Security Framework initialized
[   10.789411] SELinux:  Disabled at boot.
[   10.789433] AppArmor: AppArmor initialized
[   10.789441] Failure registering capabilities with primary security module.
[   10.789453] Mount-cache hash table entries: 512
[   10.789651] CPU: After generic identify, caps: 0383fbff 00000000 00000000 00000000 00000000 00000000 00000000 00000000
[   10.789668] CPU: L1 I cache: 16K, L1 D cache: 16K
[   10.789672] CPU: L2 cache: 256K
[   10.789676] CPU: After all inits, caps: 0383fbff 00000000 00000000 00000040 00000000 00000000 00000000 00000000
[   10.789691] Compat vDSO mapped to ffffe000.
[   10.789711] CPU: Intel(R) Celeron(TM) CPU                1400MHz stepping 04
[   10.789721] Checking 'hlt' instruction... OK.
[   10.805628] Freeing SMP alternatives: 0k freed
[   10.806035] net_namespace: 64 bytes
[   10.806955] NET: Registered protocol family 16
[   10.807359] EISA bus registered
[   10.810413] PCI: PCI BIOS revision 2.10 entry at 0xfdb91, last bus=1
[   10.810418] PCI: Using configuration type 1
[   10.810421] Setting up standard PCI resources
[   10.812716] Linux Plug and Play Support v0.97 (c) Adam Belay
[   10.813215] PCI: Probing PCI hardware
[   10.813248] PCI: Probing PCI hardware (bus 00)
[   10.813569] PCI quirk: region 0400-047f claimed by ICH4 ACPI/GPIO/TCO
[   10.813575] PCI quirk: region 0480-04bf claimed by ICH4 GPIO
[   10.814011] PCI: Transparent bridge - 0000:00:1e.0
[   10.815061] PCI: Using IRQ router PIIX/ICH [8086/2440] at 0000:00:1f.0
[   10.815085] PCI: setting IRQ 5 as level-triggered
[   10.815090] PCI: Found IRQ 5 for device 0000:00:1f.3
[   10.815114] PCI: Sharing IRQ 5 with 0000:00:1f.5
[   10.841507] AppArmor: AppArmor Filesystem Enabled
[   10.842212] PCI: Bridge: 0000:00:1e.0
[   10.842220]   IO window: a000-afff
[   10.842230]   MEM window: efd00000-efdfffff
[   10.842236]   PREFETCH window: e7b00000-e7bfffff
[   10.842257] PCI: Setting latency timer of device 0000:00:1e.0 to 64
[   10.842286] NET: Registered protocol family 2
[   10.845317] Time: tsc clocksource has been installed.
[   10.877426] IP route cache hash table entries: 2048 (order: 1, 8192 bytes)
[   10.877824] TCP established hash table entries: 8192 (order: 4, 65536 bytes)
[   10.878100] TCP bind hash table entries: 8192 (order: 3, 32768 bytes)
[   10.878233] TCP: Hash tables configured (established 8192 bind 8192)
[   10.878238] TCP reno registered
[   10.889597] checking if image is initramfs... it is
[   12.021098] Freeing initrd memory: 6508k freed
[   12.022400] audit: initializing netlink socket (disabled)
[   12.022448] audit(1362132809.316:1): initialized
[   12.026573] VFS: Disk quotas dquot_6.5.1
[   12.026641] Dquot-cache hash table entries: 1024 (order 0, 4096 bytes)
[   12.027060] io scheduler noop registered
[   12.027066] io scheduler anticipatory registered
[   12.027070] io scheduler deadline registered
[   12.027100] io scheduler cfq registered (default)
[   12.027134] Boot video device is 0000:00:02.0
[   12.027681] isapnp: Scanning for PnP cards...
[   12.381112] isapnp: No Plug & Play device found
[   12.451004] Real Time Clock Driver v1.12ac
[   12.451016] Serial: 8250/16550 driver $Revision: 1.90 $ 4 ports, IRQ sharing enabled
[   12.451183] serial8250: ttyS0 at I/O 0x3f8 (irq = 4) is a 16550A
[   12.451513] serial8250: ttyS1 at I/O 0x2f8 (irq = 3) is a 16550A
[   12.453499] RAMDISK driver initialized: 16 RAM disks of 65536K size 1024 blocksize
[   12.453665] input: Macintosh mouse button emulation as /devices/virtual/input/input0
[   12.453917] PNP: No PS/2 controller found. Probing ports directly.
[   12.456651] serio: i8042 KBD port at 0x60,0x64 irq 1
[   12.456661] serio: i8042 AUX port at 0x60,0x64 irq 12
[   12.468138] mice: PS/2 mouse device common for all mice
[   12.468358] EISA: Probing bus 0 at eisa.0
[   12.468404] EISA: Detected 0 cards.
[   12.468628] NET: Registered protocol family 1
[   12.468659] Using IPI Shortcut mode
[   12.468877] BIOS EDD facility v0.16 2004-Jun-25, 0 devices found
[   12.468881] EDD information not available.
[   12.469752] Freeing unused kernel memory: 228k freed
[   12.500031] input: AT Translated Set 2 keyboard as /devices/platform/i8042/serio0/input/input1
[   13.944196] fuse init (API version 7.9)
[   14.584709] usbcore: registered new interface driver usbfs
[   14.584768] usbcore: registered new interface driver hub
[   14.589600] 8139too Fast Ethernet driver 0.9.28
[   14.589718] PCI: setting IRQ 11 as level-triggered
[   14.589723] PCI: Found IRQ 11 for device 0000:01:01.0
[   14.590595] eth0: RealTek RTL8139 at 0xac00, xx:xx:xx:xx:xx:xx, IRQ 11
[   14.590600] eth0:  Identified 8139 chip type 'RTL-8139C'
[   14.598636] SCSI subsystem initialized
[   14.629655] usbcore: registered new device driver usb
[   14.705374] USB Universal Host Controller Interface driver v3.0
[   14.705548] PCI: setting IRQ 9 as level-triggered
[   14.705554] PCI: Found IRQ 9 for device 0000:00:1f.2
[   14.705605] PCI: Setting latency timer of device 0000:00:1f.2 to 64
[   14.705612] uhci_hcd 0000:00:1f.2: UHCI Host Controller
[   14.706252] uhci_hcd 0000:00:1f.2: new USB bus registered, assigned bus number 1
[   14.706304] uhci_hcd 0000:00:1f.2: irq 9, io base 0x0000d000
[   14.706597] usb usb1: configuration #1 chosen from 1 choice
[   14.706639] hub 1-0:1.0: USB hub found
[   14.706652] hub 1-0:1.0: 2 ports detected
[   14.724320] libata version 3.00 loaded.
[   14.811111] PCI: Found IRQ 9 for device 0000:00:1f.4
[   14.811165] PCI: Setting latency timer of device 0000:00:1f.4 to 64
[   14.811172] uhci_hcd 0000:00:1f.4: UHCI Host Controller
[   14.811219] uhci_hcd 0000:00:1f.4: new USB bus registered, assigned bus number 2
[   14.811258] uhci_hcd 0000:00:1f.4: irq 9, io base 0x0000d400
[   14.811489] usb usb2: configuration #1 chosen from 1 choice
[   14.811538] hub 2-0:1.0: USB hub found
[   14.811550] hub 2-0:1.0: 2 ports detected
[   14.914576] ata_piix 0000:00:1f.1: version 2.12
[   14.914722] PCI: Setting latency timer of device 0000:00:1f.1 to 64
[   14.918450] scsi0 : ata_piix
[   14.920784] scsi1 : ata_piix
[   14.920929] ata1: PATA max UDMA/100 cmd 0x1f0 ctl 0x3f6 bmdma 0xff00 irq 14
[   14.920935] ata2: PATA max UDMA/100 cmd 0x170 ctl 0x376 bmdma 0xff08 irq 15
[   15.050708] usb 1-1: new low speed USB device using uhci_hcd and address 2
[   15.227108] usb 1-1: configuration #1 chosen from 1 choice
[   15.238205] ata1.00: ATA-7: SAMSUNG SP0802N, TK100-24, max UDMA/100
[   15.238217] ata1.00: 156368016 sectors, multi 16: LBA48 
[   15.238255] ata1.01: ATAPI: SAMSUNG DVD-ROM SD-616T, F300, max UDMA/33
[   15.246118] ata1.00: configured for UDMA/100
[   15.410730] ata1.01: configured for UDMA/33
[   15.565864] scsi 0:0:0:0: Direct-Access     ATA      SAMSUNG SP0802N  TK10 PQ: 0 ANSI: 5
[   15.566481] scsi 0:0:1:0: CD-ROM            SAMSUNG  DVD-ROM SD-616T  F300 PQ: 0 ANSI: 5
[   16.130147] Driver 'sd' needs updating - please use bus_type methods
[   16.137642] sd 0:0:0:0: [sda] 156368016 512-byte hardware sectors (80060 MB)
[   16.137678] sd 0:0:0:0: [sda] Write Protect is off
[   16.137684] sd 0:0:0:0: [sda] Mode Sense: 00 3a 00 00
[   16.137716] sd 0:0:0:0: [sda] Write cache: enabled, read cache: enabled, doesn't support DPO or FUA
[   16.137856] sd 0:0:0:0: [sda] 156368016 512-byte hardware sectors (80060 MB)
[   16.137874] sd 0:0:0:0: [sda] Write Protect is off
[   16.137878] sd 0:0:0:0: [sda] Mode Sense: 00 3a 00 00
[   16.137907] sd 0:0:0:0: [sda] Write cache: enabled, read cache: enabled, doesn't support DPO or FUA
[   16.137923]  sda:<6>usbcore: registered new interface driver hiddev
[   16.149947] Driver 'sr' needs updating - please use bus_type methods
[   16.166151]  sda1 sda2 <<6>input: Logitech Logitech Dual Action as /devices/pci0000:00/0000:00:1f.2/usb1/1-1/1-1:1.0/input/input2
[   16.175101] input,hidraw0: USB HID v1.10 Joystick [Logitech Logitech Dual Action] on usb-0000:00:1f.2-1
[   16.175137] usbcore: registered new interface driver usbhid
[   16.175146] /home/juve/hardy-packages/linux-git/ubuntu-hardy/debian/build/custom-source-rtai/drivers/hid/usbhid/hid-core.c: v2.6:USB HID core driver
[   16.190490]  sda5 >
[   16.190796] sd 0:0:0:0: [sda] Attached SCSI disk
[   16.202047] sd 0:0:0:0: Attached scsi generic sg0 type 0
[   16.202090] sr 0:0:1:0: Attached scsi generic sg1 type 5
[   16.204330] sr0: scsi3-mmc drive: 1x/48x cd/rw xa/form2 cdda tray
[   16.204341] Uniform CD-ROM driver Revision: 3.20
[   16.204468] sr 0:0:1:0: Attached scsi CD-ROM sr0
[   16.731137] kjournald starting.  Commit interval 5 seconds
[   16.731180] EXT3-fs: mounted filesystem with ordered data mode.
[   23.324375] iTCO_vendor_support: vendor-support=0
[   23.328852] iTCO_wdt: Intel TCO WatchDog Timer Driver v1.02 (26-Jul-2007)
[   23.329852] iTCO_wdt: Found a ICH2 TCO device (Version=1, TCOBASE=0x0460)
[   23.329923] iTCO_wdt: initialized. heartbeat=30 sec (nowayout=0)
[   23.413732] Linux agpgart interface v0.102
[   23.450072] input: PC Speaker as /devices/platform/pcspkr/input/input3
[   23.463908] intel_rng: FWH not detected
[   23.474117] agpgart: Detected an Intel i815 Chipset.
[   23.487593] agpgart: AGP aperture is 64M @ 0xe8000000
[   23.517895] i810_smbus 0000:00:02.0: i810/i815 i2c device found.
[   24.844243] input: ImPS/2 Logitech Wheel Mouse as /devices/platform/i8042/serio1/input/input4
[   25.064446] PCI: Found IRQ 5 for device 0000:00:1f.5
[   25.064474] PCI: Sharing IRQ 5 with 0000:00:1f.3
[   25.064515] PCI: Setting latency timer of device 0000:00:1f.5 to 64
[   25.385276] intel8x0_measure_ac97_clock: measured 54713 usecs
[   25.385286] intel8x0: clocking to 48000
[   28.027650] lp: driver loaded but no devices found
[   28.226090] Adding 746980k swap on /dev/sda5.  Priority:-1 extents:1 across:746980k
[   28.811618] EXT3 FS on sda1, internal journal
[   30.657148] ip_tables: (C) 2000-2006 Netfilter Core Team
[   32.994502] ppdev: user-space parallel port driver
[   33.246452] audit(1362132831.471:2): type=1503 operation="inode_permission" requested_mask="a::" denied_mask="a::" name="/dev/tty" pid=4053 profile="/usr/sbin/cupsd" namespace="default"
[   34.616779] eth0: link down
[   34.750644] Bluetooth: Core ver 2.11
[   34.755927] NET: Registered protocol family 31
[   34.755940] Bluetooth: HCI device and connection manager initialized
[   34.755947] Bluetooth: HCI socket layer initialized
[   34.860151] Bluetooth: L2CAP ver 2.9
[   34.860170] Bluetooth: L2CAP socket layer initialized
[   34.925700] Bluetooth: RFCOMM socket layer initialized
[   34.926661] Bluetooth: RFCOMM TTY layer initialized
[   34.926668] Bluetooth: RFCOMM ver 1.8
[   38.001685] [drm] Initialized drm 1.1.0 20060810
[   38.008527] PCI: Found IRQ 9 for device 0000:00:02.0
[   38.009473] PCI: Setting latency timer of device 0000:00:02.0 to 64
[   38.010816] [drm] Initialized i810 1.4.0 20030605 on minor 0
[   38.012564] mtrr: base(0xe8000000) is not aligned on a size(0x280000) boundary
[   38.022983] [drm] Using v1.4 init.
[   41.220037] [drm:drm_release] *ERROR* reclaim_buffers_locked() deadlock. Please rework this
[   41.220046] 	driver to use reclaim_buffers_idlelocked() instead.
[   41.220048] 	I will go on reclaiming the buffers anyway.
[   44.217543] [drm:drm_release] *ERROR* reclaim_buffers_locked() deadlock. Please rework this
[   44.217551] 	driver to use reclaim_buffers_idlelocked() instead.
[   44.217554] 	I will go on reclaiming the buffers anyway.
[   53.473272] NET: Registered protocol family 10
[   53.474695] lo: Disabled Privacy Extensions
[   53.475994] ADDRCONF(NETDEV_UP): eth0: link is not ready
[  475.876695] I-pipe: Domain RTAI registered.
[  475.876722] RTAI[hal]: <3.6.1> mounted over IPIPE-NOTHREADS 2.0-04.
[  475.876726] RTAI[hal]: compiled with gcc version 4.2.4 (Ubuntu 4.2.4-1ubuntu3).
[  475.876736] RTAI[hal]: mounted (IPIPE-NOTHREADS, IMMEDIATE (INTERNAL IRQs DISPATCHED), ISOL_CPUS_MASK: 0).
[  475.876740] PIPELINE layers:
[  475.876743] d0dc9000 9ac15d93 RTAI 200
[  475.876747] c0383180 0 Linux 100
[  476.134891] RTAI[malloc]: global heap size = 2097152 bytes, <BSD>.
[  476.136020] RTAI[sched]: loaded (IMMEDIATE, UP, USER/KERNEL SPACE: <with RTAI OWN KTASKs>, kstacks pool size = 524288 bytes.
[  476.136036] RTAI[sched]: hard timer type/freq = 8254-PIT/1193180(Hz); default timing: periodic; linear timed lists.
[  476.136042] RTAI[sched]: Linux timer freq = 250 (Hz), CPU freq = 1395800000 hz.
[  476.136046] RTAI[sched]: timer setup = 2010 ns, resched latency = 2689 ns.
[  476.357104] RTAI[math]: loaded.
[  476.431292] rtapi: no version for "nano2count" found: kernel tainted.
[  477.862928] config string '0x378 out  '
[  501.805442] RTAI[math]: unloaded.
[  501.911531] SCHED releases registered named ALIEN RTGLBH
[  501.932910] RTAI[malloc]: unloaded.
[  502.031682] RTAI[sched]: unloaded (forced hard/soft/hard transitions: traps 0, syscalls 0).
[  502.036647] I-pipe: Domain RTAI unregistered.
[  502.036666] RTAI[hal]: unmounted.
[  520.867174] I-pipe: Domain RTAI registered.
[  520.867203] RTAI[hal]: <3.6.1> mounted over IPIPE-NOTHREADS 2.0-04.
[  520.867207] RTAI[hal]: compiled with gcc version 4.2.4 (Ubuntu 4.2.4-1ubuntu3).
[  520.867216] RTAI[hal]: mounted (IPIPE-NOTHREADS, IMMEDIATE (INTERNAL IRQs DISPATCHED), ISOL_CPUS_MASK: 0).
[  520.867220] PIPELINE layers:
[  520.867224] d0dc9000 9ac15d93 RTAI 200
[  520.867227] c0383180 0 Linux 100
[  520.907823] RTAI[malloc]: global heap size = 2097152 bytes, <BSD>.
[  520.909002] RTAI[sched]: loaded (IMMEDIATE, UP, USER/KERNEL SPACE: <with RTAI OWN KTASKs>, kstacks pool size = 524288 bytes.
[  520.909016] RTAI[sched]: hard timer type/freq = 8254-PIT/1193180(Hz); default timing: periodic; linear timed lists.
[  520.909022] RTAI[sched]: Linux timer freq = 250 (Hz), CPU freq = 1395800000 hz.
[  520.909027] RTAI[sched]: timer setup = 2010 ns, resched latency = 2689 ns.
[  521.035675] RTAI[math]: loaded.
[  521.621902] config string '0x378 out  '
[  829.230368] eth0: link up, 10Mbps, half-duplex, lpa 0x0000
[  829.230572] ADDRCONF(NETDEV_CHANGE): eth0: link becomes ready
[  832.114211] NET: Registered protocol family 17
[  847.569162] eth0: no IPv6 routers present
[ 1069.890311] RTAI[math]: unloaded.
[ 1069.958096] SCHED releases registered named ALIEN RTGLBH
[ 1069.975454] RTAI[malloc]: unloaded.
[ 1070.074835] RTAI[sched]: unloaded (forced hard/soft/hard transitions: traps 0, syscalls 0).
[ 1070.079654] I-pipe: Domain RTAI unregistered.
[ 1070.079672] RTAI[hal]: unmounted.
[ 1188.706297] I-pipe: Domain RTAI registered.
[ 1188.706326] RTAI[hal]: <3.6.1> mounted over IPIPE-NOTHREADS 2.0-04.
[ 1188.706330] RTAI[hal]: compiled with gcc version 4.2.4 (Ubuntu 4.2.4-1ubuntu3).
[ 1188.706339] RTAI[hal]: mounted (IPIPE-NOTHREADS, IMMEDIATE (INTERNAL IRQs DISPATCHED), ISOL_CPUS_MASK: 0).
[ 1188.706343] PIPELINE layers:
[ 1188.706346] d0dc9000 9ac15d93 RTAI 200
[ 1188.706350] c0383180 0 Linux 100
[ 1188.788842] RTAI[malloc]: global heap size = 2097152 bytes, <BSD>.
[ 1188.790000] RTAI[sched]: loaded (IMMEDIATE, UP, USER/KERNEL SPACE: <with RTAI OWN KTASKs>, kstacks pool size = 524288 bytes.
[ 1188.790016] RTAI[sched]: hard timer type/freq = 8254-PIT/1193180(Hz); default timing: periodic; linear timed lists.
[ 1188.790022] RTAI[sched]: Linux timer freq = 250 (Hz), CPU freq = 1395800000 hz.
[ 1188.790026] RTAI[sched]: timer setup = 2010 ns, resched latency = 2689 ns.
[ 1188.923997] RTAI[math]: loaded.
[ 1189.909627] config string '0x378 out  '
[ 1200.171521] RTAI[math]: unloaded.
[ 1200.246793] SCHED releases registered named ALIEN RTGLBH
[ 1200.263644] RTAI[malloc]: unloaded.
[ 1200.362759] RTAI[sched]: unloaded (forced hard/soft/hard transitions: traps 0, syscalls 0).
[ 1200.367613] I-pipe: Domain RTAI unregistered.
[ 1200.367632] RTAI[hal]: unmounted.