--- /dev/null
+#ifndef KERNEL_DS_H_
+#define KERNEL_DS_H_ 1
+
+#include <stdint.h>
+
+#define KOLIST_MAX_INDEX 507
+/* an empty list has next and prev pointers null */
+/* or, use one as a sentinel? could store an object count in the flags then */
+struct kobj_list {
+ struct kobj_list *next;
+ struct kobj_list *prev;
+ void *obj; /* a pointer to where a new object would go */
+ /* we've got room for 32 bytes, might as well have some flags */
+ uint64_t flags;
+};
+
+#endif