This project provides packages and an SD card image for Debian for the Intel Gellileo boards (both Gen 1 and Gen2). Aside from the board specific kernel and some configuration that is unique to this board, the rest of the image is normal Debian Wheezy for i386.

Project Activity

See All Activity >

Follow galileo-debian

galileo-debian Web Site

You Might Also Like
Achieve perfect load balancing with a flexible Open Source Load Balancer Icon
Achieve perfect load balancing with a flexible Open Source Load Balancer

Take advantage of Open Source Load Balancer to elevate your business security and IT infrastructure with a custom ADC Solution.

Boost application security and continuity with SKUDONET ADC, our Open Source Load Balancer, that maximizes IT infrastructure flexibility. Additionally, save up to $470 K per incident with AI and SKUDONET solutions, further enhancing your organization’s risk management and cost-efficiency strategies.
Rate This Project
Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
3
2
0
1
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5

User Reviews

  • Thanks, but due to a critical CPU bug please note that there is a problem in libpthread/libstdc++ that needs recompilation with "-momit-lock-prefix" and maybe also -with-cpu=i386 The bug leads to segfaults in threaded code and is described in some detail in bugs.debian.org/cgi-bin/bugreport.cgi?bug=738575 and also described on "Intel Quark SoC X1000 Software: Release Notes" page 22.
  • Ďakujem
  • How to expand filesystem on sd card?
  • Just in case anyone is wondering the username is root and password is root. I couldn't find it anywhere. No Problem's so far with the os
  • I have successfully but not thoroughly tested automatically booting this image. The galileo as near as I can tell does not like grub2 or UUID. here's what I did: I created a 100mb fat (and marked it boot-able) and made the rest of the sd card a ext3. I copied the data to the ext3 partition like what is on the image, basically to get rid of the UUID stuff. I created /boot/grub/grub.conf on the fat partition with this in the file: timeout 3 title debian root (hd0,1) kernel /boot/vmlinuz-3.8.7 root=/dev/mmcblk0p2 console=ttyS1,115200n8 earlycon=uart8250,mmio32,0x9000b000,115200n8 reboot=efi,warm apic=debug rw rootwait quiet and it boots. Hope that helps getting thing rolling for others. Now that I have this rolling I will test it more.
Read more reviews >

Additional Project Details

Operating Systems

Linux

Registered

2014-03-10