Tockシステムコール

このフォルダには、ユーザ空間とカーネルの間のインターフェースに関する詳細なドキュメントが含まれています。それは、ABIインターフェース、カーネルが提供するシステムコール、（allow、schedule、commandを使用する)ドライバ固有のインターフェースの詳細です。一般的なシステムコールの詳細については、システムコールを参照してください。

Tockシステムコール

システムコールのバイナリインターフェース

アプリケーションバイナリインターフェースの詳細。

コアカーネル提供のシステムコール

memop: メモリ関連の操作。

カプセル提供のドライバ

恒久的なドライバ番号が割り当てられているドライバ型は、以下の表の通りです。 "1.0"の列は、Tock 1.0リリースでドライバが安定しているか否かを示します（"✓"は安定を示します)。

基本

1.0	ドライバ番号	ドライバ	記述
✓	0x00000	Alarm	ユーザ空間のタイマーとして使用される
✓	0x00001	Console	UART console
✓	0x00002	LED	ボード上のLEDを制御する
✓	0x00003	Button	ボード上のボタンから割り込みを取得する
✓	0x00005	ADC	アナログ・デジタルコンバータ
	0x00006	DAC	デジタル・アナログコンバータ
	0x00007	AnalogComparator	アナログコンパレータ
	0x00008	Low-Level Debug	低レベルデバッグツール

カーネル

1.0	ドライバ番号	ドライバ	記述
	0x10000	IPC	プロセス間通信

Hardware Access

ドライバ番号	ドライバ	記述
0x00004	GPIO	GPIOピンの設定と読み取り
0x20000	UART	UART
0x20001	SPI	生のSPIマスタインターフェース
0x20002	SPI Slave	生のSPIスレーブインターフェース
0x20003	I2C Master	生のI2Cマスタインターフェース
0x20004	I2C Slave	生のI2Cスレーブインターフェース
0x20005	USB	USBインターフェース

注: GPIOはTock 2.0で番号が付け直される予定です。

無線通信

ドライバ番号	ドライバ	記述
0x30000	BLE	Bluetooth Low Energy
0x30001	802.15.4	IEEE 802.15.4
0x30002	UDP	UDP/6LoWPANインターフェース

暗号

ドライバ番号	ドライバ	記述
0x40000	AES	AES共通鍵暗号
0x40001	RNG	乱数生成器
0x40002	CRC	巡回冗長検査計算

ストレージ

ドライバ番号	ドライバ	記述
0x50000	App Flash	アプリが各自のFlashに書き込みを可能にする
0x50001	Nonvolatile Storage	永続ストレージ用の汎用インターフェース
0x50002	SDCard	SDカードへの生ブロックアクセス

センサ

1.0	ドライバ番号	ドライバ	記述
✓	0x60000	Ambient Temp.	環境温度（摂氏）
✓	0x60001	Humidity	湿度センサ（％）
✓	0x60002	Luminance	環境光センサ（ルーメン）
	0x60003	Pressure	圧力センサ
	0x60004	Ninedof	仮想加速度計/磁力計/ジャイロスコープ

センサIC

ドライバ番号	ドライバ	記述
0x70000	TSL2561	光センサ
0x70001	TMP006	温度センサ
0x70004	LPS25HB	圧力センサ
0x70005	L3GD20	3軸ジャイロスコープ、温度センサ
0x70006	LSM303DLHC	3軸加速度計、磁力計、温度センサ

その他のIC

ドライバ番号	ドライバ	記述
0x80000	LTC294X	バッテリゲージIC
0x80001	MAX17205	バッテリゲージIC
0x80002	PCA9544A	I2Cアドレス多重化装置
0x80003	GPIO Async	非同期GPIOピン
0x80004	nRF51822	nRF51822 BLE SoCへのnRF シリアル化リンク
0x80005	HD44780	LCD HD44780カプセル

Tockドキュメント