• u-boot port for Tuna (Galaxy Nexus)

    C 7 12 Updated Jan 8, 2016
  • Documentation for building various software

    Ruby 1 Updated Dec 16, 2013
  • fork of l4linux

    1 Updated Dec 10, 2013
  • C 6 4 Updated Nov 22, 2013
  • Genode OS Framework

    C++ 8 181 GPL-2.0 Updated Aug 5, 2013
  • foc

    Forked from ssumpf/foc

    Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.

    C 15 Updated Apr 19, 2013
  • ipxe

    Forked from ipxe/ipxe

    iPXE network bootloader. This is a mirror of the iPXE git tree at http://git.ipxe.org/ipxe.git

    C 179 GPL-2.0 Updated Apr 15, 2013
  • a fork of Replicant RIL for Samsung phones

    C 2 4 Updated Aug 29, 2012
  • A simple socket-based RPC for Android. Used for gps library wrapper

    C 3 2 Updated Aug 27, 2012
  • A proxy library and a daemon to run Android GPS drivers in a standalone process

    C 1 4 Updated Aug 27, 2012
  • Samsung IPC library

    C 2 11 GPL-3.0 Updated Aug 26, 2012
  • Samsung RIL hooks for Sound, NFC, GPS

    C 2 2 Updated Aug 24, 2012