Pinned Loading

1. Hungarian-SCHED_DEADLINE Hungarian-SCHED_DEADLINE Public

   Fork of tip sched/core. Replace the original GEDF with a Unr-EDF-like scheduler.

   C 1

2. hostap hostap Public

   Fork of git://w1.fi/hostap.git (MKA implementation for both Supplicant and Auth PAE, supposed to be partly in charge of a control plane of a switch device)

   C

3. futex-csp futex-csp Public

   CSP Refinement checking for "Futexes Are Tricky" (Ulrich Drepper, Red Hat, Inc. June 27, 2004)

4. qemu qemu Public

   Fork of git://git.qemu-project.org/qemu.git (mainly for SecY implementation in Rocker device)

   C

5. net-next net-next Public

   Fork of net-next tree

   C

6. t4p4s t4p4s Public

   Forked from P4ELTE/t4p4s

   Retargetable compiler for the P4 language

   C