とりあえずxilkernel を読む

xilkernel を読む。う〜ん。pthread が動く。なんだろうと読んでいてふとわかった。これ XPS と協調して、静的に初期スレッドを定義するように設計されている。