ae9ef972c0
Current `CONFIG_PAGING` refers to an experimental implementation to enable embedded MCUs with some limited RAM space to execute large programs from some non-random access media. On-demand paging should be implemented for the kernel mode with address environment implementation enabled.
123 lines
4.0 KiB
C
123 lines
4.0 KiB
C
/****************************************************************************
|
|
* sched/init/init.h
|
|
*
|
|
* Licensed to the Apache Software Foundation (ASF) under one or more
|
|
* contributor license agreements. See the NOTICE file distributed with
|
|
* this work for additional information regarding copyright ownership. The
|
|
* ASF licenses this file to you under the Apache License, Version 2.0 (the
|
|
* "License"); you may not use this file except in compliance with the
|
|
* License. You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
|
|
* WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
|
|
* License for the specific language governing permissions and limitations
|
|
* under the License.
|
|
*
|
|
****************************************************************************/
|
|
|
|
#ifndef __SCHED_INIT_INIT_H
|
|
#define __SCHED_INIT_INIT_H
|
|
|
|
/****************************************************************************
|
|
* Included Files
|
|
****************************************************************************/
|
|
|
|
#include <nuttx/config.h>
|
|
|
|
/****************************************************************************
|
|
* Public Function Prototypes
|
|
****************************************************************************/
|
|
|
|
/****************************************************************************
|
|
* Name: nx_start
|
|
*
|
|
* Description:
|
|
* This function is called to initialize the operating system and to spawn
|
|
* the user initialization thread of execution. This is the initial entry
|
|
* point into NuttX
|
|
*
|
|
* Input Parameters:
|
|
* None
|
|
*
|
|
* Returned Value:
|
|
* Does not return.
|
|
*
|
|
****************************************************************************/
|
|
|
|
void nx_start(void);
|
|
|
|
/****************************************************************************
|
|
* Name: nx_smp_start
|
|
*
|
|
* Description:
|
|
* In an SMP configution, only one CPU is initially active (CPU 0). System
|
|
* initialization occurs on that single thread. At the completion of the
|
|
* initialization of the OS, just before beginning normal multitasking,
|
|
* the additional CPUs would be started by calling this function.
|
|
*
|
|
* Input Parameters:
|
|
* None
|
|
*
|
|
* Returned Value:
|
|
* Zero on success; a negated errno value on failure.
|
|
*
|
|
****************************************************************************/
|
|
|
|
#ifdef CONFIG_SMP
|
|
int nx_smp_start(void);
|
|
#endif
|
|
|
|
/****************************************************************************
|
|
* Name: nx_idle_trampoline
|
|
*
|
|
* Description:
|
|
* This is the common IDLE task for CPUs 1 through (CONFIG_SMP_NCPUS-1).
|
|
* It is equivalent to the CPU 0 IDLE logic in nx_start.c
|
|
*
|
|
* Input Parameters:
|
|
* Standard task arguments.
|
|
*
|
|
* Returned Value:
|
|
* This function does not return.
|
|
*
|
|
****************************************************************************/
|
|
|
|
#ifdef CONFIG_SMP
|
|
void nx_idle_trampoline(void);
|
|
#endif
|
|
|
|
/****************************************************************************
|
|
* Name: nx_bringup
|
|
*
|
|
* Description:
|
|
* Start all initial system tasks. This does the "system bring-up" after
|
|
* the conclusion of basic OS initialization. These initial system tasks
|
|
* may include:
|
|
*
|
|
* - pg_worker: The page-fault worker thread (if CONFIG_LEGACY_PAGING is
|
|
* defined).
|
|
* - work_thread: The work thread. This general thread can be used to
|
|
* perform most any kind of queued work. Its primary
|
|
* function is to serve as the "bottom half" of device
|
|
* drivers.
|
|
*
|
|
* And the main application entry point:
|
|
* symbols:
|
|
*
|
|
* - INIT_ENTRYPOINT: This is the default user application entry point.
|
|
*
|
|
* Input Parameters:
|
|
* None
|
|
*
|
|
* Returned Value:
|
|
* None
|
|
*
|
|
****************************************************************************/
|
|
|
|
int nx_bringup(void);
|
|
|
|
#endif /* __SCHED_INIT_INIT_H */
|