Skip to content
@argos-research-archive

ArgOS Research Archive

Testbed for an Adaptive Distributed Operating System - Archive

Popular repositories

  1. L4Re-tmpFS L4Re-tmpFS Public

    local file system

    C++ 2

  2. Fiasco-L4Re Fiasco-L4Re Public

    The Fiasco.OC microkernel and the L4Re with integrated dom0 and libedft

    C 1

  3. FOC-for-Genode-FOC-on-Zynq FOC-for-Genode-FOC-on-Zynq Public

    Clone of Fiasco.OC L4re snapshot, which is used by Genode to build the Fiasco.OC microkernel, adjusted to support Zynq-7000 (Zybo/Zedboard)

    C 1

  4. libopencm_sense libopencm_sense Public

    sensor library for various ARM Cortex-M microcontrollers

    C

  5. foc-legacy foc-legacy Public

    Clone of Fiasco.OC and L4RE containing our own modifications.

    C

  6. genode-dom0 genode-dom0 Public

    central network module for Genode OS Framework

    C++

Repositories

Showing 10 of 28 repositories
  • android-OpenCV Public Forked from paatz04/android-OpenCV

    opencv-based object detection on android by using the speed-dreams simulator

    argos-research-archive/android-OpenCV’s past year of commit activity
    C++ 0 10 0 0 Updated Jul 24, 2019
  • operating-system Public
    argos-research-archive/operating-system’s past year of commit activity
    Makefile 0 0 0 0 Updated Feb 14, 2019
  • foc Public
    argos-research-archive/foc’s past year of commit activity
    C++ 0 0 0 0 Updated Feb 14, 2019
  • genode Public
    argos-research-archive/genode’s past year of commit activity
    C++ 0 GPL-2.0 0 0 0 Updated Feb 14, 2019
  • focnados_api Public

    Branch of genode with user-level multicore management

    argos-research-archive/focnados_api’s past year of commit activity
    C++ 0 GPL-2.0 0 0 0 Updated Dec 1, 2016
  • genode-CheckpointRestore-StopStart Public

    Checkpoint/Restore - Stop/Start-Service (no shared memory).

    argos-research-archive/genode-CheckpointRestore-StopStart’s past year of commit activity
    C++ 0 0 0 0 Updated Nov 12, 2016
  • genode-taskmgr Public

    (branch genode:task-manager) repo

    argos-research-archive/genode-taskmgr’s past year of commit activity
    C++ 0 GPL-2.0 0 0 0 Updated Nov 10, 2016
  • vagrant Public

    vagrant test setup files

    argos-research-archive/vagrant’s past year of commit activity
    0 0 0 0 Updated Oct 27, 2016
  • genode-CheckpointRestore-StopStart-Old Public
    argos-research-archive/genode-CheckpointRestore-StopStart-Old’s past year of commit activity
    C++ 0 0 0 1 Updated Oct 27, 2016
  • genode-cpumon Public

    enhanced version of genode with working cpumon example for fiasco.oc

    argos-research-archive/genode-cpumon’s past year of commit activity
    C++ 0 GPL-2.0 0 0 0 Updated Oct 27, 2016
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…