Repositories list

• uboot-tuna

  Public
  u-boot port for Tuna (Galaxy Nexus)

  C

  •

  Other

  •15•13•0•0•Updated Jan 8, 2016Jan 8, 2016

• documentation

  Public
  Documentation for building various software

  Ruby

  •0•1•0•0•Updated Dec 16, 2013Dec 16, 2013

• l4linux

  Public
  fork of l4linux

  Other

  •0•1•0•0•Updated Dec 10, 2013Dec 10, 2013

• L4Reap

  Public
  C

  •4•7•0•0•Updated Nov 22, 2013Nov 22, 2013

• genode

  Public
  Genode OS Framework

  C++

  •

  GNU General Public License v2.0

  •256•8•0•0•Updated Aug 5, 2013Aug 5, 2013

• foc

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

  C

  •16•0•0•0•Updated Apr 19, 2013Apr 19, 2013

• ipxe

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

  C

  •

  GNU General Public License v2.0

  •671•0•0•0•Updated Apr 15, 2013Apr 15, 2013

• samsung-ril

  Public
  a fork of Replicant RIL for Samsung phones

  C

  •5•2•0•0•Updated Aug 29, 2012Aug 29, 2012

• libstc-rpc

  Public
  A simple socket-based RPC for Android. Used for gps library wrapper

  C

  •4•6•0•0•Updated Aug 27, 2012Aug 27, 2012

• gps-proxy

  Public
  A proxy library and a daemon to run Android GPS drivers in a standalone process

  C

  •3•2•0•0•Updated Aug 27, 2012Aug 27, 2012

• libsamsung-ipc

  Public
  Samsung IPC library

  C

  •

  GNU General Public License v3.0

  •17•3•0•0•Updated Aug 26, 2012Aug 26, 2012

• samsung-ril-client

  Public
  Samsung RIL hooks for Sound, NFC, GPS

  C

  •1•4•0•0•Updated Aug 24, 2012Aug 24, 2012