# Une infrastructure de développement pour Sourcephile - Demande de Critiques: 9 - De: Julien Moutinho - À: Sourcephile - Révision: 1 (2020-03-10) - Phase: Écriture # Explications ## Motivations Chacun des 4 CPU de mermet (APU2E4) plafonne à 800MHz, cette puissance de calcul convient aux services actuellement en production, mais n'est pas propice aux tâches de développement, surtout que beaucoup sont mono-thread : attendre 2 min pour `hdevtools` ou 10 min pour `stack build` sur les programmes en développement, c'est pour moi une perte de temps et de concentration. ## Objectif ### Objectif minimal Avoir une machine assez puissante pour utiliser confortablement les outils de développement d'Haskell, Purescript et Nix. ### Objectif modeste ### Objectif honorable Avoir une machine silencieuse et consommant suffisamment peu d'énergie pour pouvoir l'auto-héberger chez un.e proche ou à très bas coût dans une association. ### Objectif ambitieux ### Objectif maximal Avoir une machine utilisable chez moi, sur une batterie que je possède déjà. #### Écran L'alimentation **doit** être en USB, et les données en USB ou HDMI sur un port différent. L'écran **devrait** consommer en moyenne 5W et au maximum 10W, en 5V 2A USB-A ou USB-C. Cela oriente vers une taille autour de 10 pouces. Un captage tactile simple ou multi-points **peut** être supporté pour éviter d'avoir une souris (cela ne consomme en général qu'environ 0,1mA). La résolution 1280x800 **devrait** être supportée. Le constrate **peut** être aussi faible que 500:1, il ne s'agit pas ici de regarder des films, mais de coder et naviguer. Le temps de réponse n'a pas besoin d'être très élevé comme pour des jeux vidéos, mais suffisant pour ne pas le remarquer lors de l'édition de texte, soit moins de 50ms. La luminosité ne doit pas être à base de PWM, pour êviter les maux de tête. Plusieurs angles d'inclination dans les modes portrait et paysage **devraient** être supportés. Une fixation sur pied du type VESA **devrait** être supportée. ## Études # Actions ## Ordinateur : ASRock iBox-V1000 - https://www.asrockind.com/overview.asp?Model=iBOX-V1000 - 500e, https://mitxpc.com/products/ibox-v1000 - CPU: AMD Ryzen™ Embedded V1605B (4 Cores/8 Threads – Base 2.0GHz – Turbo 3.6GHz - TDP 12-25W) - Consommation: 12W-25W - Stockage: M.2 jusqu'à 2280 et SATA 2.5" ## Alimentation : USB Power ZK-DP3D Il semble envisageable d'utiliser l'iBox-V1000 hors réseau et hors secteur, en réutilisant la batterie Anker PowerCore 26800 déjà utilisée pour le mobile, laquelle est capable de délivrer du 5V 6A, répartis sur 3 USB-A à 5V 3A max. Pour cela il faut un élévateur de tension 5V->12V supportant les 15W de l'USB-A. - 11e, https://www.thanksbuyer.com/adjustable-usb-power-supply-15w-usb-fan-speed-controller-cv-cc-support-fast-charge-zk-dp3d-63918 ## Êcran - LP101WH1 10" HD - https://secure.reichelt.com/de/en/raspberry-pi-display-lcd-10-1-hdmi-lp101wh1-rpi-lcd-10-1hdmi-p191307.html - J'en ai déjà un, cependant c'est un écran d'orinateur portable, il n'a pas de fixations adaptées pour le tenir au out d'un bras. # Critiques ## Questions non-résolues ## Alternatives ### Ordinateur #### Louer un espace en ligne #### Viking D16 systems - https://store.vikings.net/libre-friendly-hardware/the-server-1u - ~1500€ - Micrologiciel: Various options based on a de-blobbed coreboot, 2 - 16 MB firmware images - Processor/System Bus: 2 x Socket G34, 6200 series, HyperTransport™ Technology 3.0, 6.4 GT/s per link (triple link) - Carte graphique: On-board (Aspeed AST2050 with 8MB VRAM) or PCIe expansion card - Ports: Total Slots: 6 Slot Location 1: PCI 32bit/33MHz Slot Location 2: PCI-E x16 (Gen2 X8 Link) Slot Location 3: PCI-E x16 (Gen2 X16 Link), Auto switch to x8 link if slot 2 is occupied Slot Location 4: PCI-E x8 (Gen2 X4 Link) Slot Location 5: PCI-E x16 (Gen2 X16 Link) Slot Location 6: PCI-E x16 (Gen2 X16 Link), Auto turn off if slot 5 is occupied, For 1U FH/FL Card, MIO supported Additional Slot 1 : PIKE Slot for Storage expansion - Core Logic: AMD SR5690, AMD SP5100 - Form Factor: SSI-EEB - On Board: I/O1 x PSU Power Connector (24-pin SSI power connector + 8-pin SSI 12V + 8-pin SSI 12V power connector), 1 x Management Connector , Onboard socket for management card, 3 x USB pin header , Up to 6 Devices, 1 x Internal A Type USB Port, 8 x Fan Header , 4pin (3pin/4pin fan dual support), 2 x SMBus, 1 x Serial Port Header, 1 x TPM header, 1 x PS/2 KB/MS portBack I/O Ports1 x External Serial Port, 2 x External USB Port, 1 x VGA Port, 2 x RJ-45, 1 x PS/2 KB/Mouse #### ASUS KPGE-D16 Assemblage DIY basé sur le Viking D16. Achats : - KPGE-D16, 224e+64e, https://www.ebay.fr/itm/ASUS-KGPE-D16-2UHS-Motherboard-2x-OS6386-CPU-with-heatsink-Fan-IO-Shield-/352941344143 Ressources : - https://wiki.vikings.net/wiki/KGPE-D16 - https://libreboot.org/docs/hardware/kgpe-d16.html - https://www.raptorengineering.com/coreboot/kgpe-d16-status.php ##### Micrologiciel Coreboot ou Libreboot devraient pouvoir être installés avec un flasher CH341A pour SPI 25xx sur P-DIP8. Using a chip extraction tool for the swap, and making sure to clear my CMOS memory between each swap. Once you write coreboot.rom to your chip, remember to read it back out and do an md5sum against what you got back, to compare against your original file. This way, you can verify that the image did not get corrupted during the transfer. If you're coming from the original KGPE-D16's BIOS, you'll need to clear your CMOS (use the jumper, or just remove power and the CMOS battery and wait 5 minutes.) Achats: - Winchiphead CH341A - 6e, https://www.ebay.fr/itm/USB-Programmer-CH341A-24-25-Serie-Graveur-BIOS-Writer-SPI-Flash-de-bord-U6N2-/263081754209 Ressources : - https://libreboot.org/docs/install/bbb_setup.html - https://www.deityguard.org/flashing - https://flashrom.org/Supported_hardware - AMD family 10h support dropped by coreboot: https://www.reddit.com/r/coreboot/comments/dz0bkf/comment/f84ruo6 ##### Ventilateur - https://noctua.at/en/nh-u12do-a3 - https://www.dynatron.co/product-page/t757 Un ventilateur dure environ 5 ans. Le système peut être endommagé si le ventilateur n'est pas remplacé. ##### CPU Opteron 6272, 2-2.4-3Ghz, 16 cores, family 15h, socket G34, year 2012, 32nm - Supporte la DDR3 1600 ECC registered, en UDIMM ou RDIMM - Support l'accelération de la virtualisation par AMD-V - Supporte l'accelération du chiffrement par AES-NI Achats : - Deux vendus avec la carte KPGE-D16 d'occasion. ##### RAM Kingston à éviter d'après libreboot. Achats : - 52e, 1x 8Go, DDR3 1600MHz, ECC registered, Crucial, https://www.ebay.fr/p/Ram-M%C3%A9moire-Crucial-Ct102464bd160b-8-GB-Ddr3l-1600-MHz-Pc3-12800/567387997?iid=293273368349 ##### Alimentation Les Opteron sont des CPU pre-Ryzen, le 6272 est annoncé comme nécessitant entre 80W et 115W, à comparer aux 15W à 25W du V1605B. > It requires a 24 pin SSI motherboard power connector, and 2 independent 12V 8 pin SSI CPU power connectors > Other things to keep in mind with SSI EEB motherboards is that you will most likely be using 2 x 8pin (EPS12V) server power connectors, which most consumer grade power supplies do not provide. ##### Enclosure > SSI EEB will fit in an EATX case or bigger. Its dimensions are exactly 12 x 13 inches. However, not all screw holes will line up (usually 3 screw holes will not line up, depending on the exact SSI EEB motherboard you have). The corners line up and some intermediate ones do, and the motherboard should be held tight enough for most usage. But you may notice some motherboard bending due to the missing screws in other areas. - ~200€, Nanoxia Deep Silence 5 ##### Stockage - Main Storage (SSD recommended) - Samsung EVO 860, 500GB, https://www.ldlc.com/fiche/PB00243244.html - Storage HDD 2x Seagate BarraCuda.. #### System76 Thelio - https://system76.com/desktops/thelio-b1/configure - ~1000€, AMD Ryzen 3 3200G, 2x 8GB Dual Channel DDR4 @3200MHz, 1x 250GB NVMe (Seq. Read: 3500MB/s, Write: 2300MB/s) - ~1600€, AMD AMD Ryzen 7 3800X (3.9 up to 4.5 GHz - 8 Cores - 16 Threads), 2x 8GB Dual Channel DDR4 @3200MHz, 1x 250GB NVMe (Seq. Read: 3500MB/s, Write: 2300MB/s) - ~1635€, Intel i9 9900K (3.6 up to 5 GHz - 8 Cores - 16 Threads), 2x 8GB Dual Channel DDR4 @3200MHz, 1x 250GB NVMe (Seq. Read: 3500MB/s, Write: 2300MB/s) > the Core i9 9900K and the Ryzen 9 3900X. Both are amazing CPUs that are very similar in price and have a good specialty; the 3900X is featuring 4 more cores and 8 more threads than the 9900K thus making it a gaming and workstation beast, beating the 9900K by as much as 50% in rendering/editing/streaming tasks all while consuming less power and producing less heat thanks to its superior 7nm production process. The 9900K though has a small edge in gaming performance that holds even if we overclock both CPUs to the max. #### System76 Meerkat - https://system76.com/desktops/meerkat - ~1000€, Intel i7-8559U (2.7 up to 4.5GHz – 8MB Cache - 4 Cores - 8 Threads), 16GB Dual Channel DDR4 at 2400 MHz, 250GB NVMe (Seq. Read: 3500MB/s, Write: 2300MB/s) #### Talos™ II Entry-Level Developer System - https://www.raptorcs.com/content/TLSDS3/intro.html - CPU: IBM POWER9 (2017, 14 nm FinFET) https://en.wikipedia.org/wiki/POWER9 - >2500e - Frais de port éĺevés. - Architecture PowerPC (et non x86_64, bien supportée par NixOS et Haskell). #### Intel NUC 9 Ghost - http://www.nextwarehouse.com/item/?3597941_g10e#overview - ~1700€, sans disque ni RAM. #### TranquilPC Mini Multi display PC - AMD Ryzen™ Embedded V1605B (4 Cores/8 Threads – Base 2.0GHz – Turbo 3.6GHz - TDP 12-25W) - N'a pas l'air de pouvoir inclure un disque 2.5" #### Simply NUC LLMv6SQ (code named Sequoia) - http://simplynuc.com/sequoia-v6-full/ - ~700€ - not fanless #### Fanless Quad-Core ML100G-40 - https://www.onlogic.com/ml100g-40/ - ~700€ ### Alimentation - USB Power ZK-DP2F - 4e, http://www.icstation.com/adjustable-step-down-power-supply-module-fast-charging-cvcc-buck-boost-voltage-converter-p-13741.html - USB Power ZK-DP2 - 4e, http://www.icstation.com/mobile/adjustable-step-down-power-supply-module-cvcc-buck-boost-voltage-converter-with-shell-p-13463.html - 7e, https://www.tindie.com/products/icstation/15w-adjustable-step-updown-power-module-13452/ - VariPower-USB-700 - 35e, http://www.etonnet.com/varipower-700.html - 35e, https://www.tindie.com/products/etonnet/varipower-usb-700/ Il serait également possible d'acheter une batterie avec USB-PowerDelivery et un sink négociant 12V : - https://www.tindie.com/products/pier42/usb-c-pd-sink/ ### Écran - https://www.gechic.com/en-portable-monitor-onlap1306h-specification.html - 5V 1.6A - https://www.gechic.com/en-portable-monitor-onlap1102e-overview.html - 5V 1.7A - https://www.gechic.com/en-portable-monitor-onlap1102e-overview.html - Asus ZenScreen MB16AC (15,6 pouces, FHD, IPS) - https://www.notebookcheck.biz/Courte-critique-de-l-ecran-Asus-ZenScreen-MB16AC-15-6-pouces-FHD-IPS.268242.0.html - Elecrow Raspberry Pi Écran portable IPS 10,1" 2K 2560 x 1600