Patent ID: 8887159

Claim:
A computing system with a dual kernel operating system, the computing system comprising: a reserved static object memory configured to store predefined static threads; a secure kernel configured to be executed in a fast boot mode of a boot-up process of the computing system and initialized with an empty secure kernel thread queue stored in a secure kernel work memory, the secure kernel further being configured to chain the static threads to the secure kernel thread queue stored in the secure kernel work memory, and to create temporary threads in the secure kernel work memory during the fast boot mode; a main kernel configured to be initialized by creating dynamic threads in a main kernel work memory during the fast boot mode in which the secure kernel controls the static threads, the main kernel being configured to chain the static threads to a main kernel thread queue in the main kernel work memory, and to assume control of the static threads from the secure kernel, thereby terminating the fast boot mode and commencing a main boot mode, the fast boot mode booting in a shorter amount of time than the main boot mode, in which control of the static threads is passed to the main kernel from the secure kernel.