Utilisateur:Admin/MiniPCs : Différence entre versions

Version du 14 février 2013 à 12:09

Un peu de biblio sur les tous petits ordinateurs qui sortent en ce moment, et les OS associés.

Raspberry Pi

• http://www.raspberrypi.org/ site officiel
• http://fr.wikipedia.org/wiki/Raspberry_Pi
• http://learn.adafruit.com/category/raspberry-pi
• http://www.nikopik.com/2012/02/le-mini-ordinateur-raspberry-pi-est-enfin-disponible-a-25-e.html

• http://blog.idleman.fr/?p=1023 RaspBerryPi Présentation [fr]
• http://thefirefoxos.com/firefox-os-on-the-raspberry-pi/

• http://lifehacker.com/5976912/a-beginners-guide-to-diying-with-the-raspberry-pi A Beginner's Guide to DIYing with the Raspberry Pi

• BerryBoot = multiboot facile sur le Raspberry Pi

• Mobile Raspberry Pi Computer: Build your own portable Pi-to-Go très intéressant
• http://www.nikopik.com/2012/12/creer-un-ordinateur-portable-avec-un-raspberry-pi.html idem que dessus en [fr]

• http://www.le-libriste.fr/2012/03/un-boitier-pour-le-raspberry-pi-a-imprimer/

spécifs : alim par cable micro-usb, 256Mo ou 512Mo RAM, proc 700Mhz, pas de wifi intégrée, sortie video = HDMI (attention c'est pas DVI),

piqué sur le web :

• Le raspberry Pi c'est, pour faire court, un pc de la taille d'une carte de crédit, pouvant supporter une distribution linux, pour le prix de ...30 euros (+-10€).
• v gregzebu instalation serveur web sur Raspberry Pi solution retenu php5 mysql nginx avec lighttpd pour info nginx et moin lourd que apache
• c'est le processeur (ARM) qui impose la distro linux, souvent Debian.

achat : http://www.kubii.fr

MiniPCs divers

• http://www.journaldugeek.com/2012/05/18/z802-une-alternative-au-raspberry-pi-a-76-dollars/ + puissant, 1.5Ghz, wifi, etc
• http://fr.wikipedia.org/wiki/BeagleBoard
• http://www.gizmodo.fr/2013/02/10/gizmo-board-raspberry-pi-steroides.html 200$ port VGA et pas HDMI
• http://www.wandboard.org/ 89$ wifi bluetooth
• http://www.minimachines.net/actu/via-apc-la-carte-arm-disponible-a-lachat-3328 mouaif
• http://www.minimachines.net/actu/clepc-s01e02-quelle-cle-pc-choisir-4564
• http://www.minimachines.net/actu/promos-et-sorties/bon-plan-une-cle-pc-mk808-double-coeur-android-4-1-a-37e-3377
• http://www.in4dealz.com/deals/Xmas-MK808-Dual-Core-Android-4-1--TV-BOX-Mini-PC---RK3066-Cortex-A9-1GB-DDR3-RAM-8GB-ROM-w-Dual-Antenna-Double-Radiator-USB-Host-Skype-600268/

Les clés-PC semblent sympas ... mais il semble pas y avoir vraiment de norme, et c'est sans doute assez figé.

Les cartes arduino sont nettement plus limitées que raspberry pi.

Périphériques etc

• carte SD 64Go = 40€

Linux légers

• http://www.tropfacile.net/doku.php raspbian etc
• http://archlinux.fr/ paquetages sont optimisés pour les processeurs i686 et la nouvelle génération 64bits.
• http://c.laloy.free.fr/howtos/linux/distribs/leger.php Tuto Distributions Linux (ultra) légères
• http://www.moulinier.net/ Toutou Linux = linux léger = fr de puppylinux
• http://puppylinux.com/ linux léger
• http://www.slitaz.org/fr/ syst GNU/Linux fournissant un bureau ou un serveur complet dans moins de 30Mb.
• http://damnsmalllinux.org/

• http://korben.info/comment-installer-linux-avec-une-cle-usb-facilement-et-jinsiste-sur-le-facilement.html
• http://unetbootin.sourceforge.net/ UNetbootin allows you to create bootable Live USB drives for Ubuntu etc ... mais aussi que pour BIOS qui permettent le boot depuis usb

• http://www.pcastuces.com/pratique/linux/ubuntu_usb/page1.htm ubuntu sur clé usb pour ordis capable de booter depuis port usb

• http://www.siteduzero.com/informatique/tutoriels/reprenez-le-controle-a-l-aide-de-linux/installation-de-linux-depuis-windows-1 c'est du linux sous windows