2013-03-22 15:49:21 +01:00
|
|
|
/****************************************************************************
|
2019-08-19 17:16:08 +02:00
|
|
|
* boards/arm/stm32/stm32f4discovery/kernel/stm32_userspace.c
|
2013-03-22 15:49:21 +01:00
|
|
|
*
|
2015-07-10 16:35:36 +02:00
|
|
|
* Copyright (C) 2013, 2015 Gregory Nutt. All rights reserved.
|
2013-03-22 15:49:21 +01:00
|
|
|
* Author: Gregory Nutt <gnutt@nuttx.org>
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
*
|
|
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in
|
|
|
|
* the documentation and/or other materials provided with the
|
|
|
|
* distribution.
|
|
|
|
* 3. Neither the name NuttX nor the names of its contributors may be
|
|
|
|
* used to endorse or promote products derived from this software
|
|
|
|
* without specific prior written permission.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
|
|
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
|
|
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
|
|
* FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
|
|
* COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
|
|
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
|
|
* BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
|
|
|
|
* OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
|
|
|
|
* AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
|
|
* ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
|
|
* POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
*
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
/****************************************************************************
|
|
|
|
* Included Files
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
#include <nuttx/config.h>
|
|
|
|
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
2014-08-30 00:23:46 +02:00
|
|
|
#include <nuttx/arch.h>
|
2014-09-24 15:29:09 +02:00
|
|
|
#include <nuttx/mm/mm.h>
|
2014-08-30 00:23:46 +02:00
|
|
|
#include <nuttx/wqueue.h>
|
|
|
|
#include <nuttx/userspace.h>
|
2013-03-22 15:49:21 +01:00
|
|
|
|
2014-08-29 22:47:22 +02:00
|
|
|
#if defined(CONFIG_BUILD_PROTECTED) && !defined(__KERNEL__)
|
2013-03-22 15:49:21 +01:00
|
|
|
|
|
|
|
/****************************************************************************
|
|
|
|
* Pre-processor Definitions
|
|
|
|
****************************************************************************/
|
2020-06-30 19:47:06 +02:00
|
|
|
|
2013-03-22 15:49:21 +01:00
|
|
|
/* Configuration ************************************************************/
|
|
|
|
|
|
|
|
#ifndef CONFIG_NUTTX_USERSPACE
|
|
|
|
# error "CONFIG_NUTTX_USERSPACE not defined"
|
|
|
|
#endif
|
|
|
|
|
2013-03-22 19:26:03 +01:00
|
|
|
#if CONFIG_NUTTX_USERSPACE != 0x08020000
|
|
|
|
# error "CONFIG_NUTTX_USERSPACE must be 0x08020000 to match memory.ld"
|
2013-03-22 15:49:21 +01:00
|
|
|
#endif
|
|
|
|
|
|
|
|
/****************************************************************************
|
|
|
|
* Public Data
|
|
|
|
****************************************************************************/
|
|
|
|
|
2020-06-30 19:47:06 +02:00
|
|
|
/* These 'addresses' of these values are setup by the linker script. They are
|
|
|
|
* not actual uint32_t storage locations! They are only used meaningfully in
|
|
|
|
* the following way:
|
2013-03-22 15:49:21 +01:00
|
|
|
*
|
|
|
|
* - The linker script defines, for example, the symbol_sdata.
|
2014-08-30 00:23:46 +02:00
|
|
|
* - The declaration extern uint32_t _sdata; makes C happy. C will believe
|
2020-06-30 19:47:06 +02:00
|
|
|
* that the value _sdata is the address of a uint32_t variable _data (it
|
|
|
|
* is not!).
|
2015-07-10 16:35:36 +02:00
|
|
|
* - We can recover the linker value then by simply taking the address of
|
2013-03-22 15:49:21 +01:00
|
|
|
* of _data. like: uint32_t *pdata = &_sdata;
|
|
|
|
*/
|
|
|
|
|
|
|
|
extern uint32_t _stext; /* Start of .text */
|
|
|
|
extern uint32_t _etext; /* End_1 of .text + .rodata */
|
|
|
|
extern const uint32_t _eronly; /* End+1 of read only section (.text + .rodata) */
|
|
|
|
extern uint32_t _sdata; /* Start of .data */
|
|
|
|
extern uint32_t _edata; /* End+1 of .data */
|
|
|
|
extern uint32_t _sbss; /* Start of .bss */
|
|
|
|
extern uint32_t _ebss; /* End+1 of .bss */
|
|
|
|
|
|
|
|
/* This is the user space entry point */
|
|
|
|
|
|
|
|
int CONFIG_USER_ENTRYPOINT(int argc, char *argv[]);
|
|
|
|
|
2014-04-14 00:22:22 +02:00
|
|
|
const struct userspace_s userspace __attribute__ ((section (".userspace"))) =
|
2013-03-22 15:49:21 +01:00
|
|
|
{
|
|
|
|
/* General memory map */
|
|
|
|
|
|
|
|
.us_entrypoint = (main_t)CONFIG_USER_ENTRYPOINT,
|
|
|
|
.us_textstart = (uintptr_t)&_stext,
|
|
|
|
.us_textend = (uintptr_t)&_etext,
|
|
|
|
.us_datasource = (uintptr_t)&_eronly,
|
|
|
|
.us_datastart = (uintptr_t)&_sdata,
|
|
|
|
.us_dataend = (uintptr_t)&_edata,
|
|
|
|
.us_bssstart = (uintptr_t)&_sbss,
|
|
|
|
.us_bssend = (uintptr_t)&_ebss,
|
|
|
|
|
2015-07-10 16:35:36 +02:00
|
|
|
/* Memory manager heap structure */
|
|
|
|
|
|
|
|
.us_heap = &g_mmheap,
|
|
|
|
|
2013-03-22 15:49:21 +01:00
|
|
|
/* Task/thread startup routines */
|
|
|
|
|
2020-06-30 19:47:06 +02:00
|
|
|
.task_startup = nxtask_startup,
|
2013-03-22 15:49:21 +01:00
|
|
|
#ifndef CONFIG_DISABLE_PTHREAD
|
|
|
|
.pthread_startup = pthread_startup,
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/* Signal handler trampoline */
|
|
|
|
|
2013-03-23 15:46:02 +01:00
|
|
|
.signal_handler = up_signal_handler,
|
2013-03-22 15:49:21 +01:00
|
|
|
|
|
|
|
/* User-space work queue support (declared in include/nuttx/wqueue.h) */
|
|
|
|
|
2014-10-11 23:59:40 +02:00
|
|
|
#ifdef CONFIG_LIB_USRWORK
|
2013-12-27 17:31:37 +01:00
|
|
|
.work_usrstart = work_usrstart,
|
2013-03-22 15:49:21 +01:00
|
|
|
#endif
|
|
|
|
};
|
|
|
|
|
|
|
|
/****************************************************************************
|
|
|
|
* Public Functions
|
|
|
|
****************************************************************************/
|
|
|
|
|
2014-08-29 22:47:22 +02:00
|
|
|
#endif /* CONFIG_BUILD_PROTECTED && !__KERNEL__ */
|