tcb.h\include - jove-kernel - A toy kernel that uses "kernel objects" to abstract hardware access

summary refs log tree commit diff stats

path: root/include/tcb.h

blob: c28a8605366e7fb8b9e47a592c19fee0d8579a56 (plain) (blame)

#ifndef _JOVE_TCB_H
#define _JOVE_TCB_H 1

#include <stddef.h>
#include <stdint.h>



#endif