Configuration Struct Reference

Public Attributes
int	taskCount
int	eventsCount
void *	stackBase

Member Data Documentation

eventsCount

int Configuration::eventsCount

stackBase

void* Configuration::stackBase

taskCount

int Configuration::taskCount

---

The documentation for this struct was generated from the following file:

• openbios/main/main.c