diff --git a/src/main.rs b/src/main.rs
index 9e843ee..834351c 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -13,6 +13,10 @@ use tm4c129x::interrupt::Handlers as InterruptHandlers;
 
 const LED1: u8 = 0x10;
 const LED2: u8 = 0x40;
+const HV_PWM: u8 = 0x01;
+const FV_PWM: u8 = 0x04;
+
+const PWM_LOAD: u32 = /*pwmclk*/16_000_000 / /*freq*/100_000;
 
 fn set_led(nr: u8, state: bool) {
     cortex_m::interrupt::free(|cs| {
@@ -25,26 +29,57 @@ fn set_led(nr: u8, state: bool) {
     });
 }
 
+fn set_fv_pwm(duty: u8) {
+
+}
+
+fn set_hv_pwm(duty: u8) {
+
+}
+
 fn main() {
     hprintln!("Hello, world!");
 
     cortex_m::interrupt::free(|cs| {
-        let systick = tm4c129x::SYST.borrow(cs);
-        let sysctl  = tm4c129x::SYSCTL.borrow(cs);
-        let gpio_k  = tm4c129x::GPIO_PORTK.borrow(cs);
+        let sysctl = tm4c129x::SYSCTL.borrow(cs);
 
-        // Bring up GPIO port K
+        // Set up system timer
+        let systick = tm4c129x::SYST.borrow(cs);
+        systick.set_reload(systick.get_ticks_per_10ms());
+        systick.enable_counter();
+        systick.enable_interrupt();
+
+        // Bring up GPIO port F and K
+        sysctl.rcgcgpio.modify(|_, w| w.r5().bit(true));
+        while !sysctl.prgpio.read().r5().bit() {}
         sysctl.rcgcgpio.modify(|_, w| w.r9().bit(true));
         while !sysctl.prgpio.read().r9().bit() {}
 
         // Set up LEDs
+        let gpio_k = tm4c129x::GPIO_PORTK.borrow(cs);
         gpio_k.dir.write(|w| w.dir().bits(LED1|LED2));
         gpio_k.den.write(|w| w.den().bits(LED1|LED2));
 
-        // Set up system timer
-        systick.set_reload(systick.get_ticks_per_10ms());
-        systick.enable_counter();
-        systick.enable_interrupt();
+        // Set up PWMs
+        let gpio_f = tm4c129x::GPIO_PORTF_AHB.borrow(cs);
+        gpio_f.dir.write(|w| w.dir().bits(HV_PWM|FV_PWM));
+        gpio_f.den.write(|w| w.den().bits(HV_PWM|FV_PWM));
+        gpio_f.afsel.write(|w| w.afsel().bits(HV_PWM|FV_PWM));
+        gpio_f.pctl.write(|w| unsafe { w.pmc0().bits(6).pmc2().bits(6) });
+
+        sysctl.rcgcpwm.modify(|_, w| w.r0().bit(true));
+        while !sysctl.prpwm.read().r0().bit() {}
+
+        let pwm0 = tm4c129x::PWM0.borrow(cs);
+        pwm0._0_gena.write(|w| w.actload().zero().actcmpad().one());
+        pwm0._0_load.write(|w| unsafe { w.bits(PWM_LOAD) });
+        pwm0._0_cmpa.write(|w| unsafe { w.bits(PWM_LOAD / 64) });
+        pwm0._0_ctl.write(|w| w.enable().bit(true));
+        pwm0._1_gena.write(|w| w.actload().zero().actcmpad().one());
+        pwm0._1_load.write(|w| unsafe { w.bits(PWM_LOAD) });
+        pwm0._1_cmpa.write(|w| unsafe { w.bits(PWM_LOAD / 32) });
+        pwm0._1_ctl.write(|w| w.enable().bit(true));
+        pwm0.enable.write(|w| w.pwm0en().bit(true).pwm2en().bit(true));
     });
 }