PIC32MX - Clock-Einstellungen

[Matt B. (mattb)]

Hallo,

ich will mich etwas in die PICs von Microchip einarbeiten und habe mir 
ein SnadPIC Board 
(http://www.ebay.de/itm/Microchip-Development-Board-PIC32MX795F512L-32-bit-USB-OTG-PICKIT3-/171215482829?hash=item27dd3cefcd:g:mJgAAOxyOalTZWP2) 
mit einem PIC32MX795 darauf bestellt.

Nun sitze ich an der ersten Inbetriebnahme und will zunächst einfach mal 
die CPU-Taktfrequenz einstellen und entsprechend prüfen.
Dazu dachte ich daran, ein PWM zu erzeugen, dessen Frequenz ich mit 
einem Oszi messe.

Dabei bekomme ich allerdings keine Einstellung zustande, die ich mir 
erklären kann.

Laut Angebot sollte auf dem Board ein 12 MHz-Quarz sitzen. Laut der 
Beschriftung des Bauteils ist tatsächlich aber ein 8 MHz-Quarz darauf.
Den µC würde ich gerne mit 80 MHz betreiben.


Hier mal die Einstellungen, mit denen ich dachte, 80 MHz einzustellen:

#pragma config FPLLIDIV = DIV_2         // PLL Input Divider (2x Divider)
#pragma config FPLLMUL = MUL_20         // PLL Multiplier (20x Multiplier
#pragma config FPLLODIV = DIV_1         // System PLL Output Clock Divider (PLL Divide by 1)

#pragma config FNOSC = PRIPLL           // Oscillator Selection Bits (Primary Osc w/PLL (XT+,HS+,EC+PLL))
#pragma config FSOSCEN = OFF            // Secondary Oscillator Enable (Disabled)
#pragma config IESO = OFF               // Internal/External Switch Over (Disabled)
#pragma config POSCMOD = XT             // Primary Oscillator Configuration (XT osc mode)
#pragma config OSCIOFNC = OFF           // CLKO Output Signal Active on the OSCO Pin (Disabled)
#pragma config FPBDIV = DIV_1           // Peripheral Clock Divisor (Pb_Clk is Sys_Clk/1)
#pragma config FCKSM = CSDCMD           // Clock Switching and Monitor Selection (Clock Switch Disable, FSCM Disabled)

Um die korrete Systemfrequenz zu überprüfen erzeuge ich nun ein PWM, 
dessen Frequenz von der Systemfrequenz abgeleitet wird:

void main()
{        
    /* System clock:  80 MHz */
    /* PWM Frequency: 20 kHz */
    /* -> Prescaler:   1     */
    /* -> Period:     80 MHz / 20 kHz = 4000 */
    T2CONbits.TCKPS = 1;        /* Prescaler */
    PR2 = 3999;                 /* Period */
    OC1CONbits.OCM = 0b110;
    OC1RS = 2000;               /* 50 % duty cycle */
    OC1R = 0;
    T2CONbits.ON = 1;
    OC1CONbits.ON = 1;
    
    while(1)
    {
        
    }
}

Damit erhalte ich allerdings nur eine PWM-Frequenz von 10 kHz.

Kann jemand mal über die Einstellungen schauen und prüfen, ob ich 
irgendwo einen Fehler gemacht habe?

Vielen Dank
Gruss
matt

[1N 4. (1n4148)]

> T2CONbits.TCKPS = 1;        /* Prescaler */

1 entspricht aber einem 1:2-Teiler
0 wäre 1:1

(Datenblatt S.203)