Skip to content
This organization was marked as archived by an administrator on Feb 15, 2024. It is no longer maintained.

@PFLab-OS PFLab-OS

Change the repository type filter

All

    Repositories list

    12 repositories

    • Toshokan

      Public archive
      another abstraction layer for operating system developers
      C
      •4•11•0•0•Updated Apr 27, 2020Apr 27, 2020

    • FriendLoader

      Public archive
      Loader for Friend-OS
      C
      •2•1•0•0•Updated Feb 17, 2020Feb 17, 2020

    • syspro2018-nic_driver

      Public archive
      C
      •
      Other
      •0•2•0•0•Updated Jul 4, 2019Jul 4, 2019

    • syspro2019_baremetal

      Public archive
      C++
      •0•0•0•0•Updated Jul 1, 2019Jul 1, 2019

    • Toshokan-docker-env

      Public archive
      Dockerfile
      •0•0•0•0•Updated Mar 16, 2019Mar 16, 2019

    • linux

      Public archive
      Linux kernel source tree
      C
      •
      Other
      •55k•0•0•0•Updated Oct 2, 2018Oct 2, 2018

    • pcie_uio

      Public archive
      library for uio_pci_generic device driver
      C++
      •4•2•0•0•Updated Apr 29, 2018Apr 29, 2018

    • Raph_Kernel

      Public archive
      C
      •
      Other
      •7•37•6•1•Updated Apr 29, 2018Apr 29, 2018

    • ARM_devenv

      Public archive
      C
      •0•1•0•0•Updated Jan 18, 2018Jan 18, 2018

    • rumprun

      Public archive
      The Rumprun unikernel and toolchain for various platforms
      C
      •
      Other
      •128•4•0•0•Updated Jan 17, 2018Jan 17, 2018

    • src-netbsd

      Public archive
      Mirror of NetBSD sources useful with rump kernels
      34•0•0•0•Updated Jan 11, 2018Jan 11, 2018

    • Raph_Kernel_devenv_box

      Public archive
      shell script to construct environment for Raph Kernel developers
      Shell
      •0•1•0•0•Updated Nov 16, 2017Nov 16, 2017