Pinned Repositories
AZprocessor
cec-esterel
Columbia Esterel Compiler
data_process
dragon-book-exercise-answers
Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理（紫龙书）第2版习题答案。
freedom
Source files for SiFive's Freedom platforms
FreeRTOS-PapaBench
fuck-tan8
破解弹琴吧网页播放VIP权限
kernel-learning
learn something which is easy to forget about ubuntu
MIPS
A classic 5-stage pipeline MIPS 32-bit processor, including a 2-bit branch predictor, a branch prediction buffer and a direct-mapped cache.
qemu-arm-smp
qemu
wanborj's Repositories
wanborj/qemu-arm-smp
qemu
wanborj/AZprocessor
wanborj/cec-esterel
Columbia Esterel Compiler
wanborj/data_process
wanborj/dragon-book-exercise-answers
Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理（紫龙书）第2版习题答案。
wanborj/freedom
Source files for SiFive's Freedom platforms
wanborj/FreeRTOS-PapaBench
wanborj/fuck-tan8
破解弹琴吧网页播放VIP权限
wanborj/kernel-learning
learn something which is easy to forget about ubuntu
wanborj/MIPS
A classic 5-stage pipeline MIPS 32-bit processor, including a 2-bit branch predictor, a branch prediction buffer and a direct-mapped cache.
wanborj/PSEFM
wanborj/PSEFM-C
wanborj/PSEFM-PapaBench
wanborj/PSPM-C
A Predictable Servant-based programming model based on C language
wanborj/qemu_stm32
QEMU with an STM32 microcontroller implementation
wanborj/shadowsocks-windows
wanborj/stm32_p103_demos
A suite of demo applications for the Olimex STM32 P103 Development Kit
wanborj/T-SEFM
wanborj/Thingsquare-Contiki-O.S-Porting-STM32F4-Discovery
We have ported the Contiki Operating System to STM32F4 platform (http://www.st.com/stm32f4-discovery). We started with the work that was already done on an evaluation board based on STM32L1 platform (STEVAL-IKR001V1, http://www.st.com/web/en/catalog/tools/PF253893). The original project, called "Mist", was created by Thingsquare using Spirit1 radio transceiver (STEVAL-IKR001V8D, http://www.st.com/web/en/catalog/tools/FM116/SC1075/PF258319). We converted the system calls from the original platform to the target platform. We have adapted Spirit1 radio driver in order to work properly on STM32F4. Then, we created a Wireless Sensor Network and collected several communication and performance data. I worked on it with Daniele Saitta. To manage the entire work, we used IAR Embedded Workbench (http://www.iar.com/en/products/iar-embedded-workbench/arm/).
wanborj/unify-clock
Part of a research project to construct a formally verified compiler for Lustre
wanborj/xPSPM-C