---
image: https://i.imgur.com/w6kAO2n.png
tags: COSCUP, COSCUP2017, twlkh, Cat System Workshop, Hsinchu Coding Serfs, System Software
description: slides and videos from the COSCUP 2017 system software community track
robots: index, follow
lang: zh-TW
dir: ltr
break: true
---
COSCUP 2017: TWLKH & Cat & Coding Serfs Conference Track Talks
===
The System Software Track, a.k.a. [Linux Kernel & System & Coders Track](https://coscup.org/2017/#/schedule/day2) on Day 2 in Room 303

| Talk | Speaker | Content |
| ------------------------------------------------------ | ---------------- | ------------------------- |
| [Linux Kernel Patch Submission Tips](https://coscup.org/2017/#/schedule/day2/3030900) | 蔡鎮宇 Chen-Yu Tsai (wens) | [slides](https://www.slideshare.net/wens213/linux-kernel-patch-submission-tips), [video](https://www.youtube.com/watch?v=sOhA6vgVt-o) |
| [Piko/RT: Linux-like Real-time Kernel for ARM Microcontrollers](https://coscup.org/2017/#/schedule/day2/3030940) | 吳彥寬 Yen-Kuan Wu (yenWu) | [slides](https://docs.google.com/presentation/d/13z41136nNnnwpMn8-bW5xukJJkw8E4JHpq8sYURT9y8/edit?usp=sharing), [video](https://www.youtube.com/watch?v=1IM3oJ32XQ4), [code](https://github.com/Piko-RT/pikoRT), [jserv's intro to Piko/RT](https://hackmd.io/s/SJHIn4b_W) |
| [Introduction to Memory-Style Storage in Linux](https://coscup.org/2017/#/schedule/day2/3031020) | Clay Chang | [slides](https://www.slideshare.net/claychang/introduction-to-memorystyle-storage-in-linux-78607549), [video](https://www.youtube.com/watch?v=31aQZfy4kxQ) |
| [BSDMIZER: a framework to improve FreeBSD continuously](https://coscup.org/2017/#/schedule/day2/3031100) | Luba Tang | [slides](https://speakerdeck.com/skymizer/bsdmizer-a-framework-to-improve-freebsd-continuously), [video 2:29:30](https://www.youtube.com/watch?v=uKdDA-S-BQg&t=02h29m30s) |
| [簡單的 Hoare_Logic 驗證 C code 例子](https://coscup.org/2017/#/schedule/day2/3031140) | 張晏誠 | [slides](https://github.com/KevinKu/Formal-verification-of-simple-C-code/blob/master/slide.pdf), [video](https://www.youtube.com/watch?v=_qJKJjVQPRY), [code](https://github.com/KevinKu/Formal-verification-of-simple-C-code), [Extended Notes](https://hackmd.io/aTMMQkvNT2OjZmldObzBRQ) |
| [Long-term Maintenance Model of Embedded Industrial Linux Distribution](https://coscup.org/2017/#/schedule/day2/3031220) | 林上智 SZ Lin | [slides](https://www.slideshare.net/szlin/longterm-maintenance-model-of-embedded-industrial-linux-distribution), [video](https://www.youtube.com/watch?v=Be987DJnxi0) |

Brought to you by the [Taiwan Linux Kernel Hackers](https://www.facebook.com/groups/twlinuxkernelhackers/), [Cat System Workshop](https://www.facebook.com/groups/cat.system/), and [Hsinchu Coding Serfs](https://www.facebook.com/groups/hsinchu.coders/) communities.

*NOTE* : the slides are in **English** but the talks are in **Mandarin**, except:
1. The "Formal Verification of Simple C code Using Hoare Logic" talk which uses Mandarin on the slides

## See ALso
* [COSCUP 2018: TWLKH & Cat & Coding Serfs Conference Track Talks](https://hackmd.io/@_ftS3lqHSbyjKWxfHvDMfw/H1d2z3TBX)

###### tags: `COSCUP` `COSCUP2017` `twlkh` `Cat System Workshop` `Hsinchu Coding Serfs` `System Software`