User Tools

Site Tools


faq

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
faq [2016/12/14 15:02]
stefanschroeder [Will MINIX be ported to ARM/MIPS/SPARC/x86-64/Raspberry Pi?]
faq [2016/12/14 16:23]
stefanschroeder [How do I boot the USB image?]
Line 13: Line 13:
 ==== Where can I get the MINIX 3 source code? ==== ==== Where can I get the MINIX 3 source code? ====
  
-You can find the MINIX 3 source code in the /usr/src directory of your MINIX installation. You can also grab the code from our authoritative [[http://​git.minix3.org?​p=minix.git|git repository]]. A mirror is available on [[https://​github.com/​minix3/​minix|Github]]+You can find the MINIX 3 source code in the /usr/src directory of your MINIX installation. You can also grab the code from our authoritative [[http://​git.minix3.org?​p=minix.git|git repository]]. A mirror is available on [[https://​github.com/​Stichting-MINIX-Research-Foundation/​minix|Github (officially)]] and once more on  ​[[https://​github.com/​minix3/​minix|Github]].
  
 ==== Where can I get help with MINIX 3? ==== ==== Where can I get help with MINIX 3? ====
Line 72: Line 72:
 ===== Technical Questions ===== ===== Technical Questions =====
 ==== How do I boot the USB image? ==== ==== How do I boot the USB image? ====
-First, USB images are a legacy offer which was hacked ​specifically for MINIX 3.1.x. They do not work with the more recent 3.2.x releases, and are futile with 3.3.0 which does support native USB peripherals.+First, USB images are a legacy offer which was provided ​specifically for MINIX 3.1.x. They do not work with the more recent 3.2.x releases, and are futile with 3.3.0 which does support native USB peripherals.
  
 Write the USB image file to the USB device sector-by-sector (e.g. with //dd//). In other words, don't write it to a FAT filesystem on the USB device, but write the file to it starting at the first sector (Sector 0). This will, of course, effectively wipe all other information that was stored on the USB device. Write the USB image file to the USB device sector-by-sector (e.g. with //dd//). In other words, don't write it to a FAT filesystem on the USB device, but write the file to it starting at the first sector (Sector 0). This will, of course, effectively wipe all other information that was stored on the USB device.
  
-Then you can boot from the USB device if your BIOS supports that.+Then you can boot from the USB deviceif your BIOS supports that.
  
 ==== Can I crosscompile it? ==== ==== Can I crosscompile it? ====
faq.txt · Last modified: 2020/07/07 23:11 by lionelsambuc