User Tools

Site Tools


developersguide:start

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
Last revision Both sides next revision
developersguide:start [2015/09/23 10:21]
dcvmoole [Tutorials] add live update link
developersguide:start [2016/09/25 08:44]
dcvmoole [Tutorials] add gcov article to new ToC
Line 23: Line 23:
  
   - [[.:​liveupdate|Live update and rerandomization]]   - [[.:​liveupdate|Live update and rerandomization]]
 +  - [[.:​driverprogramming|Device Driver Programming in MINIX 3]]
   - [[.:​debugging|Debugging tips - Serial out, GDB]]   - [[.:​debugging|Debugging tips - Serial out, GDB]]
   - [[.:​newkernelcall|Adding a new Kernel Call]]   - [[.:​newkernelcall|Adding a new Kernel Call]]
   - [[.:​performancemeasurement|Performance measurement]]   - [[.:​performancemeasurement|Performance measurement]]
   - [[.:​eclipsetutorial|Using Eclipse in MINIX3 with Remote Explorer]]   - [[.:​eclipsetutorial|Using Eclipse in MINIX3 with Remote Explorer]]
 +  - [[.:​gcov|Using GCOV to gather service code coverage info]]
 ===== Reference documentation ===== ===== Reference documentation =====
  
Line 37: Line 38:
   - ** Drivers **   - ** Drivers **
     - [[.:​overviewofminixdrivers|Overview of Minix drivers]]     - [[.:​overviewofminixdrivers|Overview of Minix drivers]]
-    - [[.:​driverprogramming|Device Driver Programming in MINIX 3]] 
     - [[.:​blockprotocol|The Block Device protocol]]     - [[.:​blockprotocol|The Block Device protocol]]
     - [[.:​datalinkprotocol|The Data Link (inet-ethernet) protocol]]     - [[.:​datalinkprotocol|The Data Link (inet-ethernet) protocol]]
Line 59: Line 59:
         - [[.:​syncpkgsrc|Syncing the Minix pkgsrc Repository with Upstream]]         - [[.:​syncpkgsrc|Syncing the Minix pkgsrc Repository with Upstream]]
         - [[.:​pkgsrcupstreaming|Pkgsrc Upstreaming]]         - [[.:​pkgsrcupstreaming|Pkgsrc Upstreaming]]
 +        - [[.:​pkgsrconarm|Pkgsrc on ARM (not yet working)]]
   - ** Machine-dependent **   - ** Machine-dependent **
     - ** i386 **     - ** i386 **
developersguide/start.txt · Last modified: 2017/05/19 08:46 by jeanbaptisteboric