Skip to content
Change the repository type filter

All

    Repositories list

    • linux

      Public
      Linux kernel source tree
      C
      Other
      55k500Updated Aug 25, 2019Aug 25, 2019
    • Not useful yet. Attempt to port EDK2.
      C
      263420Updated Feb 26, 2019Feb 26, 2019
    • Attempt to port Google's Fuchsia OS kernel to the Pixel 3 XL
      C++
      Other
      72510Updated Feb 11, 2019Feb 11, 2019