elastos / seL4-Programing-Guide-book

Related projects: ⓘ

• jserv / open-c-book
  开源书籍：《C语言编程透视》
  ☆21Updated 8 years ago
• ibanezchen / hyperCOS-evaluate
  ☆21Updated 5 years ago
• tzuCarlos / RaspberryPi
  RaspberryPi
  ☆22Updated 9 years ago
• rtmux / rtmux
  A lightweight para-virtualization layer to provide real-time environments for Linux/ARM.
  ☆46Updated 9 years ago
• embedded2015 / arm-lecture
  ARM programs to illustrate tutorials
  ☆41Updated 8 years ago
• jserv / full-stack-hello
  minimal instruction set and assembler/compiler for "Hello World" execution
  ☆114Updated 3 years ago
• cccnqu / sp106b
  系統程式 -- Nand2tetris Part II (金門大學 / 資訊工程系 106 下學期 )
  ☆18Updated 5 years ago
• embedded2016 / raytracing
  Small ray tracing program for performance evaluation
  ☆45Updated 8 years ago
• skymizer / SkyPat
  A C++ performance analyzing and testing framework on Android and Linux platforms.
  ☆48Updated last month
• embedded2015 / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch
  ☆178Updated 7 years ago
• CatSystemWorkshop / meetup
  Cat System Workshop is a regular meet-up focusing on “system software”. We would like to gather all developers to share their experience …
  ☆51Updated 5 years ago
• d-fan / pikachuos
  ☆25Updated this week
• cfsghost / bootchart-lite
  Bootchart-lite is a tool for performance analysis and visualization of the Linux boot process. Basicly, bootchart-lite is same with Bootc…
  ☆8Updated 9 years ago
• embedded2015 / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆37Updated 3 years ago
• ccckmit / ccckmit
  A collection of codes, articles and courses material by ccc
  ☆35Updated 6 years ago
• softnshare / candcpp
  C & C++ 技術討論/知識管理共筆
  ☆32Updated 8 years ago
• cccnqu / course
  陳鍾誠的課程入口 -- 共用資源與必需會的事項
  ☆34Updated 6 years ago
• pcman-bbs / pcmanx
  GTK version
  ☆79Updated 3 years ago
• gfreewind / aple_codes
  It is the demo or test codes of book 《Linux环境编程 —— 从应用到内核》
  ☆25Updated 7 years ago
• starnight / DriverPractice
  Linux driver practices
  ☆79Updated 7 months ago
• jserv / kvm-user-x86
  A simple userspace program to interact with Linux KVM
  ☆23Updated last year
• koshizuow / ccbook
  Non-official Chinese translation of https://www.sigbus.info/compilerbook
  ☆49Updated 3 years ago
• embedded2016 / server-framework
  Asynchronous server framework in modern C
  ☆74Updated 8 years ago
• jserv / threadpool
  A simple C Thread pool implementation
  ☆15Updated 5 years ago
• itri-sofa / sofa
  SOFA (Software Orchestrated Flash Array) is a log-structured flash array management system
  ☆41Updated 4 years ago
• champyen / cpusage
  calculate cpu usage with /proc/stat on linux
  ☆12Updated 4 years ago
• champyen / rpiz_bare_metal
  a bare metal example with a simple printf implementation for RPi Zero
  ☆13Updated 3 years ago
• PikoRT / pikoRT
  A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips
  ☆303Updated 9 months ago
• embedded2015 / rubi
  Ruby-like high-performance script programming language with JIT compiler
  ☆88Updated 8 years ago
• jserv / talks
  schedule and materials about my presentations
  ☆349Updated 7 months ago