Here is the output from these two commands. Again, in the BIOS there are no options at all to change the parameters of the SATA controller. This one appears to be set to RAID mode and no options to modify it from this more so this PC, unless I load a custom BIOS on it, will not be able to work with the AHCI controller driver from Genode. (device 00:17.0). Jut to verify I went through every single option throughout the BIOS once again to try to turn off the RAID mode but I simply can't do it.
it@...538...:~$ sudo lshw -sanitize -numeric computer description: Computer width: 64 bits capabilities: smbios-2.7 vsyscall32 *-core description: Motherboard physical id: 0 *-memory description: System memory physical id: 0 size: 7766MiB *-cpu product: Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz vendor: Intel Corp. physical id: 1 bus info: cpu@...361... size: 1400MHz capacity: 3401MHz width: 64 bits capabilities: fpu fpu_exception wp vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp x86-64 constant_tsc art arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch epb intel_pt tpr_shadow vnmi flexpriority ept vpid fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm mpx rdseed adx smap clflushopt xsaveopt xsavec xgetbv1 dtherm ida arat pln pts hwp hwp_notify hwp_act_window hwp_epp cpufreq *-pci description: Host bridge product: Intel Corporation [8086:591F] vendor: Intel Corporation [8086] physical id: 100 bus info: pci@...332...:00:00.0 version: 05 width: 32 bits clock: 33MHz *-display UNCLAIMED description: VGA compatible controller product: Intel Corporation [8086:5912] vendor: Intel Corporation [8086] physical id: 2 bus info: pci@...332...:00:02.0 version: 04 width: 64 bits clock: 33MHz capabilities: pciexpress msi pm vga_controller bus_master cap_list configuration: latency=0 resources: memory:d0000000-d0ffffff memory:c0000000-cfffffff ioport:3000(size=64) *-usb description: USB controller product: Sunrise Point-H USB 3.0 xHCI Controller [8086:A12F] vendor: Intel Corporation [8086] physical id: 14 bus info: pci@...332...:00:14.0 version: 31 width: 64 bits clock: 33MHz capabilities: pm msi xhci bus_master cap_list configuration: driver=xhci_hcd latency=0 resources: irq:122 memory:d1020000-d102ffff *-usbhost:0 product: xHCI Host Controller [1D6B:3] vendor: Linux 4.4.0-21-generic xhci-hcd [1D6B] physical id: 0 bus info: usb@...539... logical name: usb2 version: 4.04 capabilities: usb-3.00 configuration: driver=hub slots=10 speed=5000Mbit/s *-usbhost:1 product: xHCI Host Controller [1D6B:2] vendor: Linux 4.4.0-21-generic xhci-hcd [1D6B] physical id: 1 bus info: usb@...23... logical name: usb1 version: 4.04 capabilities: usb-2.00 configuration: driver=hub slots=16 speed=480Mbit/s *-usb:0 description: Mouse product: World of Warcraft MMO Gaming Mouse:Legendary Edition [1038:1310] vendor: SteelSeries [1038] physical id: 1 bus info: usb@...23...:1 version: 2.19 capabilities: usb-1.10 configuration: driver=usbhid maxpower=120mA speed=12Mbit/s *-usb:1 description: Keyboard product: USB KEYBOARD [258A:1] vendor: SINO WEALTH [258A] physical id: 2 bus info: usb@...23...:2 version: 1.00 capabilities: usb-1.10 configuration: driver=usbhid maxpower=100mA speed=2Mbit/s *-usb:2 description: Mass storage device product: Cruzer Glide [781:5575] vendor: SanDisk [781] physical id: b bus info: usb@...23...:b version: 1.00 serial: [REMOVED] capabilities: usb-2.10 scsi configuration: driver=usb-storage maxpower=224mA speed=480Mbit/s *-generic UNCLAIMED description: Signal processing controller product: Sunrise Point-H Thermal subsystem [8086:A131] vendor: Intel Corporation [8086] physical id: 14.2 bus info: pci@...332...:00:14.2 version: 31 width: 64 bits clock: 33MHz capabilities: pm msi bus_master cap_list configuration: latency=0 resources: memory:d104a000-d104afff *-storage description: RAID bus controller product: SATA Controller [RAID mode] [8086:2822] vendor: Intel Corporation [8086] physical id: 17 bus info: pci@...332...:00:17.0 version: 31 width: 32 bits clock: 66MHz capabilities: storage msi pm bus_master cap_list configuration: driver=ahci latency=0 resources: irq:123 memory:d1048000-d1049fff memory:d104e000-d104e0ff ioport:3080(size=8) ioport:3088(size=4) ioport:3060(size=32) memory:d104c000-d104c7ff *-isa description: ISA bridge product: Sunrise Point-H LPC Controller [8086:A149] vendor: Intel Corporation [8086] physical id: 1f bus info: pci@...332...:00:1f.0 version: 31 width: 32 bits clock: 33MHz capabilities: isa bus_master configuration: latency=0 *-memory UNCLAIMED description: Memory controller product: Sunrise Point-H PMC [8086:A121] vendor: Intel Corporation [8086] physical id: 1f.2 bus info: pci@...332...:00:1f.2 version: 31 width: 32 bits clock: 33MHz (30.3ns) capabilities: bus_master configuration: latency=0 resources: memory:d1044000-d1047fff *-multimedia description: Audio device product: Sunrise Point-H HD Audio [8086:A170] vendor: Intel Corporation [8086] physical id: 1f.3 bus info: pci@...332...:00:1f.3 version: 31 width: 64 bits clock: 33MHz capabilities: pm msi bus_master cap_list configuration: driver=snd_hda_intel latency=64 resources: irq:125 memory:d1040000-d1043fff memory:d1030000-d103ffff *-serial UNCLAIMED description: SMBus product: Sunrise Point-H SMBus [8086:A123] vendor: Intel Corporation [8086] physical id: 1f.4 bus info: pci@...332...:00:1f.4 version: 31 width: 64 bits clock: 33MHz configuration: latency=0 resources: memory:d104d000-d104d0ff ioport:efa0(size=32) *-network description: Ethernet interface product: Ethernet Connection (2) I219-LM [8086:15B7] vendor: Intel Corporation [8086] physical id: 1f.6 bus info: pci@...332...:00:1f.6 logical name: eno1 version: 31 serial: [REMOVED] capacity: 1Gbit/s width: 32 bits clock: 33MHz capabilities: pm msi bus_master cap_list ethernet physical tp 10bt 10bt-fd 100bt 100bt-fd 1000bt-fd autonegotiation configuration: autonegotiation=on broadcast=yes driver=e1000e driverversion=3.2.6-k firmware=0.8-4 latency=0 link=no multicast=yes port=twisted pair resources: irq:124 memory:d1000000-d101ffff *-scsi:0 physical id: 2 logical name: scsi0 capabilities: emulated *-disk description: ATA Disk product: WDC WD5000AZLX-6 vendor: Western Digital physical id: 0.0.0 bus info: scsi@...361...:0.0.0 logical name: /dev/sda version: 1A01 serial: [REMOVED] size: 465GiB (500GB) capabilities: gpt-1.00 partitioned partitioned:gpt configuration: ansiversion=5 guid=eaaf6998-3866-45df-b02d-8820514d2968 logicalsectorsize=512 sectorsize=4096 *-volume:0 description: Windows FAT volume vendor: MSDOS5.0 physical id: 1 bus info: scsi@...361...:0.0.0,1 logical name: /dev/sda1 version: FAT32 serial: [REMOVED] size: 355MiB capacity: 359MiB capabilities: boot precious readonly hidden nomount fat initialized configuration: FATs=2 filesystem=fat label=SYSTEM name=EFI system partition *-volume:1 description: reserved partition vendor: Windows physical id: 2 bus info: scsi@...361...:0.0.0,2 logical name: /dev/sda2 serial: [REMOVED] capacity: 127MiB capabilities: nofs precious readonly hidden nomount configuration: name=Microsoft reserved partition *-volume:2 description: Windows NTFS volume vendor: Windows physical id: 3 bus info: scsi@...361...:0.0.0,3 logical name: /dev/sda3 version: 3.1 serial: [REMOVED] size: 449GiB capacity: 449GiB capabilities: ntfs initialized configuration: clustersize=4096 created=2017-06-13 21:55:09 filesystem=ntfs label=Windows name=Basic data partition state=clean *-volume:3 description: Windows NTFS volume vendor: Windows physical id: 4 bus info: scsi@...361...:0.0.0,4 logical name: /dev/sda4 version: 3.1 serial: [REMOVED] size: 976MiB capacity: 979MiB capabilities: boot precious readonly hidden nomount ntfs initialized configuration: clustersize=4096 created=2017-06-14 07:52:43 filesystem=ntfs label=Windows RE tools modified_by_chkdsk=true mounted_on_nt4=true name=Basic data partition resize_log_file=true state=dirty upgrade_on_mount=true *-volume:4 description: Windows NTFS volume vendor: Windows physical id: 5 bus info: scsi@...361...:0.0.0,5 logical name: /dev/sda5 version: 3.1 serial: [REMOVED] size: 14GiB capacity: 14GiB capabilities: precious readonly hidden nomount ntfs initialized configuration: clustersize=4096 created=2017-06-14 07:46:02 filesystem=ntfs label=Recovery Image modified_by_chkdsk=true mounted_on_nt4=true name=Basic data partition resize_log_file=true state=dirty upgrade_on_mount=true *-scsi:1 physical id: 3 logical name: scsi3 capabilities: emulated *-cdrom description: DVD-RAM writer product: DVDRW DU8AESH vendor: hp PLDS physical id: 0.0.0 bus info: scsi@...540...:0.0.0 logical name: /dev/cdrom logical name: /dev/cdrw logical name: /dev/dvd logical name: /dev/dvdrw logical name: /dev/sr0 version: 6HS3 capabilities: removable audio cd-r cd-rw dvd dvd-r dvd-ram configuration: ansiversion=5 status=nodisc *-scsi:2 physical id: 4 bus info: usb@...23...:11 logical name: scsi4 capabilities: emulated scsi-host configuration: driver=usb-storage *-disk description: SCSI Disk product: Cruzer Glide vendor: SanDisk physical id: 0.0.0 bus info: scsi@...167...:0.0.0 logical name: /dev/sdb version: 1.00 serial: [REMOVED] size: 118GiB (126GB) capabilities: removable configuration: ansiversion=6 logicalsectorsize=512 sectorsize=512 *-medium physical id: 0 logical name: /dev/sdb size: 118GiB (126GB) capabilities: partitioned partitioned:dos configuration: signature=38d246ae *-volume description: Windows FAT volume vendor: SYSLINUX physical id: 1 logical name: /dev/sdb1 logical name: /cdrom version: FAT32 serial: [REMOVED] size: 117GiB capacity: 118GiB capabilities: primary bootable fat initialized configuration: FATs=2 filesystem=fat label=MULTIBOOT mount.fstype=vfat mount.options=rw,noatime,fmask=0022,dmask=0022,codepage=437,iocharset=iso8859-1,shortname=mixed,errors=remount-ro state=mounted it@...538...:~$ sudo lspci -vvvnn 00:00.0 Host bridge [0600]: Intel Corporation Device [8086:591f] (rev 05) Subsystem: Hewlett-Packard Company Device [103c:802e] Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR+ FastB2B- DisINTx- Status: Cap+ 66MHz- UDF- FastB2B+ ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort+ >SERR- <PERR- INTx- Latency: 0 Capabilities: [e0] Vendor Specific Information: Len=10 <?>
00:02.0 VGA compatible controller [0300]: Intel Corporation Device [8086:5912] (rev 04) (prog-if 00 [VGA controller]) DeviceName: Onboard IGD Subsystem: Hewlett-Packard Company Device [103c:802e] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx- Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Interrupt: pin A routed to IRQ 0 Region 0: Memory at d0000000 (64-bit, non-prefetchable) [size=16M] Region 2: Memory at c0000000 (64-bit, prefetchable) [size=256M] Region 4: I/O ports at 3000 [size=64] Expansion ROM at <unassigned> [disabled] Capabilities: [40] Vendor Specific Information: Len=0c <?> Capabilities: [70] Express (v2) Root Complex Integrated Endpoint, MSI 00 DevCap: MaxPayload 128 bytes, PhantFunc 0 ExtTag- RBE+ DevCtl: Report errors: Correctable- Non-Fatal- Fatal- Unsupported- RlxdOrd- ExtTag- PhantFunc- AuxPwr- NoSnoop- MaxPayload 128 bytes, MaxReadReq 128 bytes DevSta: CorrErr- UncorrErr- FatalErr- UnsuppReq- AuxPwr- TransPend- DevCap2: Completion Timeout: Not Supported, TimeoutDis-, LTR-, OBFF Not Supported DevCtl2: Completion Timeout: 50us to 50ms, TimeoutDis-, LTR-, OBFF Disabled Capabilities: [ac] MSI: Enable- Count=1/1 Maskable- 64bit- Address: 00000000 Data: 0000 Capabilities: [d0] Power Management version 2 Flags: PMEClk- DSI+ D1- D2- AuxCurrent=0mA PME(D0-,D1-,D2-,D3hot-,D3cold-) Status: D0 NoSoftRst- PME-Enable- DSel=0 DScale=0 PME- Capabilities: [100 v1] #1b Capabilities: [200 v1] Address Translation Service (ATS) ATSCap: Invalidate Queue Depth: 00 ATSCtl: Enable-, Smallest Translation Unit: 00 Capabilities: [300 v1] #13 Kernel modules: i915_bpo
00:14.0 USB controller [0c03]: Intel Corporation Sunrise Point-H USB 3.0 xHCI Controller [8086:a12f] (rev 31) (prog-if 30 [XHCI]) Subsystem: Hewlett-Packard Company Sunrise Point-H USB 3.0 xHCI Controller [103c:802e] Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR+ FastB2B- DisINTx+ Status: Cap+ 66MHz- UDF- FastB2B+ ParErr- DEVSEL=medium >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Interrupt: pin A routed to IRQ 122 Region 0: Memory at d1020000 (64-bit, non-prefetchable) [size=64K] Capabilities: [70] Power Management version 2 Flags: PMEClk- DSI- D1- D2- AuxCurrent=375mA PME(D0-,D1-,D2-,D3hot+,D3cold+) Status: D0 NoSoftRst+ PME-Enable- DSel=0 DScale=0 PME- Capabilities: [80] MSI: Enable+ Count=1/8 Maskable- 64bit+ Address: 00000000fee00218 Data: 0000 Kernel driver in use: xhci_hcd
00:14.2 Signal processing controller [1180]: Intel Corporation Sunrise Point-H Thermal subsystem [8086:a131] (rev 31) Subsystem: Hewlett-Packard Company Sunrise Point-H Thermal subsystem [103c:802e] Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR+ FastB2B- DisINTx- Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Interrupt: pin C routed to IRQ 11 Region 0: Memory at d104a000 (64-bit, non-prefetchable) [size=4K] Capabilities: [50] Power Management version 3 Flags: PMEClk- DSI+ D1- D2- AuxCurrent=0mA PME(D0-,D1-,D2-,D3hot-,D3cold-) Status: D0 NoSoftRst+ PME-Enable- DSel=0 DScale=0 PME- Capabilities: [80] MSI: Enable- Count=1/1 Maskable- 64bit- Address: 00000000 Data: 0000
00:17.0 RAID bus controller [0104]: Intel Corporation SATA Controller [RAID mode] [8086:2822] (rev 31) Subsystem: Hewlett-Packard Company SATA Controller [RAID mode] [103c:802e] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR+ FastB2B- DisINTx+ Status: Cap+ 66MHz+ UDF- FastB2B+ ParErr- DEVSEL=medium >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Interrupt: pin A routed to IRQ 123 Region 0: Memory at d1048000 (32-bit, non-prefetchable) [size=8K] Region 1: Memory at d104e000 (32-bit, non-prefetchable) [size=256] Region 2: I/O ports at 3080 [size=8] Region 3: I/O ports at 3088 [size=4] Region 4: I/O ports at 3060 [size=32] Region 5: Memory at d104c000 (32-bit, non-prefetchable) [size=2K] Capabilities: [80] MSI: Enable+ Count=1/1 Maskable- 64bit- Address: fee00238 Data: 0000 Capabilities: [70] Power Management version 3 Flags: PMEClk- DSI- D1- D2- AuxCurrent=0mA PME(D0-,D1-,D2-,D3hot+,D3cold-) Status: D0 NoSoftRst+ PME-Enable- DSel=0 DScale=0 PME- Capabilities: [a8] SATA HBA v1.0 BAR4 Offset=00000004 Kernel driver in use: ahci Kernel modules: ahci
00:1f.0 ISA bridge [0601]: Intel Corporation Sunrise Point-H LPC Controller [8086:a149] (rev 31) Subsystem: Hewlett-Packard Company Sunrise Point-H LPC Controller [103c:802e] Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR+ FastB2B- DisINTx+ Status: Cap- 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0
00:1f.2 Memory controller [0580]: Intel Corporation Sunrise Point-H PMC [8086:a121] (rev 31) Subsystem: Hewlett-Packard Company Sunrise Point-H PMC [103c:802e] Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR- FastB2B- DisINTx- Status: Cap- 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Region 0: Memory at d1044000 (32-bit, non-prefetchable) [size=16K]
00:1f.3 Audio device [0403]: Intel Corporation Sunrise Point-H HD Audio [8086:a170] (rev 31) Subsystem: Hewlett-Packard Company Sunrise Point-H HD Audio [103c:802e] Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR+ FastB2B- DisINTx+ Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 64 Interrupt: pin A routed to IRQ 125 Region 0: Memory at d1040000 (64-bit, non-prefetchable) [size=16K] Region 4: Memory at d1030000 (64-bit, non-prefetchable) [size=64K] Capabilities: [50] Power Management version 3 Flags: PMEClk- DSI- D1- D2- AuxCurrent=55mA PME(D0-,D1-,D2-,D3hot+,D3cold+) Status: D0 NoSoftRst+ PME-Enable- DSel=0 DScale=0 PME- Capabilities: [60] MSI: Enable+ Count=1/1 Maskable- 64bit+ Address: 00000000fee00278 Data: 0000 Kernel driver in use: snd_hda_intel Kernel modules: snd_hda_intel
00:1f.4 SMBus [0c05]: Intel Corporation Sunrise Point-H SMBus [8086:a123] (rev 31) Subsystem: Hewlett-Packard Company Sunrise Point-H SMBus [103c:802e] Control: I/O+ Mem+ BusMaster- SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR+ FastB2B- DisINTx- Status: Cap- 66MHz- UDF- FastB2B+ ParErr- DEVSEL=medium >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Interrupt: pin A routed to IRQ 11 Region 0: Memory at d104d000 (64-bit, non-prefetchable) [size=256] Region 4: I/O ports at efa0 [size=32] Kernel modules: i2c_i801
00:1f.6 Ethernet controller [0200]: Intel Corporation Ethernet Connection (2) I219-LM [8086:15b7] (rev 31) DeviceName: Onboard Lan Subsystem: Hewlett-Packard Company Ethernet Connection (2) I219-LM [103c:802e] Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- Stepping- SERR+ FastB2B- DisINTx+ Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- <MAbort- >SERR- <PERR- INTx- Latency: 0 Interrupt: pin A routed to IRQ 124 Region 0: Memory at d1000000 (32-bit, non-prefetchable) [size=128K] Capabilities: [c8] Power Management version 3 Flags: PMEClk- DSI+ D1- D2- AuxCurrent=0mA PME(D0+,D1-,D2-,D3hot+,D3cold+) Status: D0 NoSoftRst+ PME-Enable- DSel=0 DScale=1 PME- Capabilities: [d0] MSI: Enable+ Count=1/1 Maskable- 64bit+ Address: 00000000fee00258 Data: 0000 Capabilities: [e0] PCI Advanced Features AFCap: TP+ FLR+ AFCtrl: FLR- AFStatus: TP- Kernel driver in use: e1000e Kernel modules: e1000e
On Wed, Nov 15, 2017 at 7:21 AM, Chris Rothrock <cgrothrock@...9...> wrote:
I wasn't trying to side-step the issue. The Intel-based system that I tried this on just doesn't have Linux installed (it's a Windows machine) and I only moved over the hard drive with the Genode build on it to attempt the boot. At some point I will need to run Linux on that machine but I had other more pressing goals from my boss (specifically to find out if USB can be used) to try to get through before getting Linux on and checking this.
Something that may be of interest, however, is when I have been sifting through the Linux AHCI driver source code https://github.com/ torvalds/linux/blob/master/drivers/ata/ahci.c I found a comment in the code regarding the AMD controllers at line 409: /* AMD is using RAID class only for ahci controllers */ This may have something to do with the Genode AHCI driver not working on AMD controllers and might help lead in the right direction for a resolution.
Chris
On Wed, Nov 15, 2017 at 3:08 AM, Norman Feske < norman.feske@...1...> wrote:
Hi Chris,
On 09.11.2017 21:56, Chris Rothrock wrote:
Unfortunately the BIOS configuration on this machine does not have any options to change (or even see) the actual mode the SATA controller is in so this path is a bust. To change track, but still try to load from a block device, how can I use a USB flash drive as a block device to store the .VDI image on and read from rather than the SATA controller/hard drive?
you may take a look at 'repos/dde_linux/run/usb_storage.run'.
That said, the intermediate outcome of the current discussion is rather disappointing from my point of view as you ignored important parts of Christian's Helmuth's posting (such as providing the output of lspci), which would have helped us to better understand the situation and possibly improve Genode. By merely attempting to side-step issues ("change tracks"), there is hardly any chance to learn from the issue at hand and, thereby, no benefit for the community at large.
Regards Norman
-- Dr.-Ing. Norman Feske Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
--
Thank You,
Chris Rothrock Senior System Administrator (315) 308-1637