Starting kernel ...

kernel initialized
Genode 14.11-9-g36ca049 <local changes>
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 505 MB to init
int main(): --- init created, waiting for exit condition ---
[init -> ctrl_module] --- Beaglebone Control Module Server ---
[init -> uart_drv] int main(int, char**): --- OMAP3 UART driver started ---
[init -> platform_drv] --- bbb platform driver running ---
[init -> ffat_fs] int main(int, char**): FAT filesystem server running
[init -> pwm_drv] --- am33xx pwm driver ---
[init -> sd_card_drv] --- OMAP3 SD card driver ---
[init -> ctrl_module] gpio 4 mode 2 dirn=1, pullup or down = 1
[init -> ctrl_module] gpio 5 mode 2 dirn=1, pullup or down = 1
[init -> ctrl_module] gpio 22 mode 4 dirn=0, pullup or down = 0
[init -> ctrl_module] gpio 23 mode 4 dirn=0, pullup or down = 0
[init -> ctrl_module] gpio 50 mode 6 dirn=0, pullup or down = 0
[init -> ctrl_module] gpio 51 mode 6 dirn=0, pullup or down = 0
[init -> ffat_fs] int main(int, char**): FAT filesystem going to wait for signal
[init -> ctrl_module] gpio 66 mode 7 dirn=1, pullup or down = 0
[init -> ctrl_module] gpio 67 mode 7 dirn=1, pullup or down = 0
[init -> bbb_platform_client] --- bbb platform being configured ---
[init -> ctrl_module] gpio 68 mode 7 dirn=1, pullup or down = 0
[init -> ctrl_module] gpio 69 mode 7 dirn=1, pullup or down = 0
[init -> ctrl_module] gpio 89 mode 7 dirn=1, pullup or down = 0
[init -> ctrl_module] gpio 78 mode 4 dirn=0, pullup or down = 0
[init -> ctrl_module] gpio 79 mode 4 dirn=1, pullup or down = 0
[init -> bbb_platform_client] Enabled dmtimer 3 freq = 2
[init -> bbb_platform_client] Enabled dmtimer 4 freq = 1
[init -> bbb_platform_client] Enabled dmtimer 5 freq = 1
[init -> bbb_platform_client] Enabled dmtimer 6 freq = 1
[init -> bbb_platform_client] Enabled dmtimer 7 freq = 1
[init -> bbb_platform_client] Enabled PWM 1
[init -> bbb_platform_client] Enabled PWM 2
[init -> gpio_drv] --- am33xx gpio driver ---
[init -> bbb_platform_client] Enabled UART 5
[init -> platform_drv] void Ccm::ipu_clk_enable(BeagleBoneBlack::Device): Enabling MMC0
[init -> bbb_platform_client] Enabled MMC 0
[init -> platform_drv] void Ccm::ipu_clk_enable(BeagleBoneBlack::Device): Enabling MMC1
[init -> bbb_platform_client] Enabled MMC 1
[init -> platform_drv] void Ccm::ipu_clk_enable(BeagleBoneBlack::Device): I2C Function clock idle state is 0
[init -> pwm_drv] PWM port 0, num 1, period 31250, duty 1562, polarity 1, name=North
[init -> platform_drv] void Ccm::ipu_clk_enable(BeagleBoneBlack::Device): I2C Function clock is 1
[init -> bbb_platform_client] Enabled I2C 1
[init -> pwm_drv] PWM port 1, num 1, period 31250, duty 1562, polarity 1, name=South
[init -> pwm_drv] PWM port 0, num 2, period 31250, duty 1562, polarity 1, name=East
[init -> pwm_drv] PWM port 1, num 2, period 31250, duty 1562, polarity 1, name=West
[init] virtual void Genode::Child_policy::exit(int): child "bbb_platform_client" exited with exit value 0
[init -> gpio_drv] gpio 53 mode O value=0
[init -> gpio_drv] gpio 54 mode O value=0
[init -> gpio_drv] gpio 55 mode O value=0
[init -> gpio_drv] gpio 56 mode O value=0
[init -> i2c_drv] --- am33xx i2c driver ---
[init -> dmtimer_drv] --- am33xx DMtimer driver ---
[init -> Autopilot] void init_libc_ffat(): using the libc_ffat plugin
[init -> Autopilot] --- Autopilot application starting ---
[init -> Autopilot] fault handler: waiting for fault signal
[init -> pwm_drv] 4 Motors initialized
[init -> Autopilot] ---------- GPIO IRQ handler ----------
[init -> Autopilot] int main(): shared mem [1] is now 0x0[2] is 0x0
[init -> Autopilot] virtual void Autopilot::Motors::entry(): Starting PWM
[init -> uart_drv] virtual Uart::Driver* main(int, char**)::Omap_uart_driver_factory::create(unsigned int, un
signed int, Uart::Char_avail_callback&): Baudrate is not defined. Use default 115200
[init -> sd_card_drv] CID: 0xea00d927 0x02b16703 0x44202020 0x1d414453
[init -> sd_card_drv] RCA: 0x59b4
[init -> sd_card_drv] Block::Omap3_driver::Omap3_driver(bool): SDCard driver getting mmc1 ready with dma 0
[init -> sd_card_drv] SD card detected
[init -> sd_card_drv] capacity: 60303 MiB
[init -> Autopilot] DUMMY access(): access called, not implemented
[init -> Autopilot] mktime() returned -1, the file modification time reported by stat() will be incorrect
[init -> Autopilot] void Autopilot::Datalogger::Initialize(): /Autopilot/ap_config.xml file size: 597 bytes
[init -> Autopilot] void Autopilot::Datalogger::Initialize(): last modified: 0115-01-22 21:03:12