From 4f2954af8a35b80fe4b99f12ccbde3b51358dedd Mon Sep 17 00:00:00 2001 From: Bahadir Balban Date: Thu, 22 Oct 2009 15:46:58 +0300 Subject: [PATCH] Fixed a minor config issue + updated example cml files. --- config/cml/examples/linux/config.cml | 115 ++++++++++ config/cml/examples/posix/two_posix.cml | 287 +----------------------- configure.py | 3 +- 3 files changed, 118 insertions(+), 287 deletions(-) create mode 100644 config/cml/examples/linux/config.cml diff --git a/config/cml/examples/linux/config.cml b/config/cml/examples/linux/config.cml new file mode 100644 index 0000000..26b6141 --- /dev/null +++ b/config/cml/examples/linux/config.cml @@ -0,0 +1,115 @@ +# +# Automatically generated, don't edit +# +# Generated on: amit-laptop +# At: Wed, 21 Oct 2009 18:22:52 +0000 +# Linux version 2.6.28-11-generic (buildd@palmer) (gcc version 4.3.3 (Ubuntu 4.3.3-5ubuntu4) ) #42-Ubuntu SMP Fri Apr 17 01:57:59 UTC 2009 + +# +# Codezero Microkernel Configurator +# + +# +# Main architecture +# +CONFIG_ARCH_ARM=y + + +# +# ARM Architecture Configuration +# + +# +# ARM Architecture Family +# +CONFIG_SUBARCH_V5=y +CONFIG_SUBARCH_V6=n +CONFIG_SUBARCH_V7=n + + +# +# ARM CPU type +# + +# +# ARM Processor Type +# +CONFIG_CPU_ARM926=y + + + +# +# ARM Platform Type +# + +# +# ARM Platform Type +# +CONFIG_PLATFORM_EB=n +CONFIG_PLATFORM_AB926=n +CONFIG_PLATFORM_PB926=y + + + +# +# Platform Drivers +# +CONFIG_DRIVER_UART_PL011=y +CONFIG_DRIVER_TIMER_SP804=y +CONFIG_DRIVER_IRQ_PL190=y + + +CONFIG_CONTAINERS=1 + +# +# Container Setup +# + +# +# Container 0 Parameters +# + +# +# Container 0 Type +# +CONFIG_CONT0_TYPE_LINUX=y +CONFIG_CONT0_TYPE_BARE=n +CONFIG_CONT0_TYPE_POSIX=n + + +# +# Container 0 Options +# +CONFIG_CONT0_OPT_NAME="linux0" + +# +# Container 0 Linux Pager Parameters +# +CONFIG_CONT0_LINUX_ZRELADDR=0x208000 +CONFIG_CONT0_LINUX_PAGE_OFFSET=0xc0000000 +CONFIG_CONT0_LINUX_PHYS_OFFSET=0x200000 +CONFIG_CONT0_LINUX_ROOTFS_ADDRESS=0x1000000 +CONFIG_CONT0_LINUX_MAPSIZE=0x2000000 + + +# +# Container 0 Physical Memory Regions +# +CONFIG_CONT0_PHYSMEM_REGIONS=1 +CONFIG_CONT0_PHYS0_START=0x200000 +CONFIG_CONT0_PHYS0_END=0x2200000 + + +# +# Container 0 Virtual Memory Regions +# +CONFIG_CONT0_VIRTMEM_REGIONS=1 +CONFIG_CONT0_VIRT0_START=0xc0000000 +CONFIG_CONT0_VIRT0_END=0xd0000000 + + + + + +# +# That's all, folks! diff --git a/config/cml/examples/posix/two_posix.cml b/config/cml/examples/posix/two_posix.cml index 2502e04..4135f59 100644 --- a/config/cml/examples/posix/two_posix.cml +++ b/config/cml/examples/posix/two_posix.cml @@ -2,7 +2,7 @@ # Automatically generated, don't edit # # Generated on: bahadir-laptop -# At: Sun, 18 Oct 2009 13:02:07 +0000 +# At: Thu, 22 Oct 2009 12:36:16 +0000 # Linux version 2.6.24-22-generic (buildd@vernadsky) (gcc version 4.2.3 (Ubuntu 4.2.3-2ubuntu7)) #1 SMP Mon Nov 24 18:32:42 UTC 2008 # @@ -105,71 +105,22 @@ CONFIG_CONT0_PAGER_UTCB_END=0xf8200000 # Container 0 Physical Memory Regions # CONFIG_CONT0_PHYSMEM_REGIONS=1 - -# -# Container 0 Physical Region 0 Memory Capabilities -# CONFIG_CONT0_PHYS0_START=0x40000 CONFIG_CONT0_PHYS0_END=0x1000000 -CONFIG_CONT0_PHYS0_CAP_MAP_READ=y -CONFIG_CONT0_PHYS0_CAP_MAP_WRITE=y -CONFIG_CONT0_PHYS0_CAP_MAP_EXEC=y -CONFIG_CONT0_PHYS0_CAP_MAP_UNMAP=y - # # Container 0 Virtual Memory Regions # CONFIG_CONT0_VIRTMEM_REGIONS=4 - -# -# Container 0 Virtual Region 0 Memory Capabilities -# CONFIG_CONT0_VIRT0_START=0xa0000000 CONFIG_CONT0_VIRT0_END=0xb0000000 -CONFIG_CONT0_VIRT0_CAP_MAP_UTCB=n -CONFIG_CONT0_VIRT0_CAP_MAP_READ=y -CONFIG_CONT0_VIRT0_CAP_MAP_WRITE=y -CONFIG_CONT0_VIRT0_CAP_MAP_EXEC=y -CONFIG_CONT0_VIRT0_CAP_MAP_UNMAP=y - - -# -# Container 0 Virtual Region 1 Memory Capabilities -# CONFIG_CONT0_VIRT1_START=0x40000000 CONFIG_CONT0_VIRT1_END=0x50000000 -CONFIG_CONT0_VIRT1_CAP_MAP_UTCB=n -CONFIG_CONT0_VIRT1_CAP_MAP_READ=y -CONFIG_CONT0_VIRT1_CAP_MAP_WRITE=y -CONFIG_CONT0_VIRT1_CAP_MAP_EXEC=y -CONFIG_CONT0_VIRT1_CAP_MAP_UNMAP=y - - -# -# Container 0 Virtual Region 2 Memory Capabilities -# CONFIG_CONT0_VIRT2_START=0xf8100000 CONFIG_CONT0_VIRT2_END=0xf8200000 -CONFIG_CONT0_VIRT2_CAP_MAP_UTCB=y -CONFIG_CONT0_VIRT2_CAP_MAP_READ=y -CONFIG_CONT0_VIRT2_CAP_MAP_WRITE=y -CONFIG_CONT0_VIRT2_CAP_MAP_EXEC=y -CONFIG_CONT0_VIRT2_CAP_MAP_UNMAP=y - - -# -# Container 0 Virtual Region 3 Memory Capabilities -# CONFIG_CONT0_VIRT3_START=0x30000000 CONFIG_CONT0_VIRT3_END=0x40000000 -CONFIG_CONT0_VIRT3_CAP_MAP_UTCB=n -CONFIG_CONT0_VIRT3_CAP_MAP_READ=y -CONFIG_CONT0_VIRT3_CAP_MAP_WRITE=y -CONFIG_CONT0_VIRT3_CAP_MAP_EXEC=y -CONFIG_CONT0_VIRT3_CAP_MAP_UNMAP=y - @@ -214,262 +165,26 @@ CONFIG_CONT1_PAGER_UTCB_END=0xf8300000 # Container 1 Physical Memory Regions # CONFIG_CONT1_PHYSMEM_REGIONS=1 - -# -# Container 1 Physical Region 0 Memory Capabilities -# CONFIG_CONT1_PHYS0_START=0x1000000 CONFIG_CONT1_PHYS0_END=0x2000000 -CONFIG_CONT1_PHYS0_CAP_MAP_READ=y -CONFIG_CONT1_PHYS0_CAP_MAP_WRITE=y -CONFIG_CONT1_PHYS0_CAP_MAP_EXEC=y -CONFIG_CONT1_PHYS0_CAP_MAP_UNMAP=y - # # Container 1 Virtual Memory Regions # CONFIG_CONT1_VIRTMEM_REGIONS=4 - -# -# Container 1 Virtual Region 0 Memory Capabilities -# CONFIG_CONT1_VIRT0_START=0x10000000 CONFIG_CONT1_VIRT0_END=0x20000000 -CONFIG_CONT1_VIRT0_CAP_MAP_UTCB=n -CONFIG_CONT1_VIRT0_CAP_MAP_READ=y -CONFIG_CONT1_VIRT0_CAP_MAP_WRITE=y -CONFIG_CONT1_VIRT0_CAP_MAP_EXEC=y -CONFIG_CONT1_VIRT0_CAP_MAP_UNMAP=y - - -# -# Container 1 Virtual Region 1 Memory Capabilities -# CONFIG_CONT1_VIRT1_START=0x20000000 CONFIG_CONT1_VIRT1_END=0x30000000 -CONFIG_CONT1_VIRT1_CAP_MAP_UTCB=n -CONFIG_CONT1_VIRT1_CAP_MAP_READ=y -CONFIG_CONT1_VIRT1_CAP_MAP_WRITE=y -CONFIG_CONT1_VIRT1_CAP_MAP_EXEC=y -CONFIG_CONT1_VIRT1_CAP_MAP_UNMAP=y - - -# -# Container 1 Virtual Region 2 Memory Capabilities -# CONFIG_CONT1_VIRT2_START=0xb0000000 CONFIG_CONT1_VIRT2_END=0xc0000000 -CONFIG_CONT1_VIRT2_CAP_MAP_UTCB=n -CONFIG_CONT1_VIRT2_CAP_MAP_READ=y -CONFIG_CONT1_VIRT2_CAP_MAP_WRITE=y -CONFIG_CONT1_VIRT2_CAP_MAP_EXEC=y -CONFIG_CONT1_VIRT2_CAP_MAP_UNMAP=y - - -# -# Container 1 Virtual Region 3 Memory Capabilities -# CONFIG_CONT1_VIRT3_START=0xf8200000 CONFIG_CONT1_VIRT3_END=0xf8300000 -CONFIG_CONT1_VIRT3_CAP_MAP_UTCB=y -CONFIG_CONT1_VIRT3_CAP_MAP_READ=y -CONFIG_CONT1_VIRT3_CAP_MAP_WRITE=y -CONFIG_CONT1_VIRT3_CAP_MAP_EXEC=y -CONFIG_CONT1_VIRT3_CAP_MAP_UNMAP=y - -# -# Derived symbols -# -CONFIG_CONT1_PHYS1_CAP_MAP_READ_=1 -CONFIG_CONT2_VIRT1_CAP_MAP_UTCB_=0 -CONFIG_CONT2_VIRT2_CAP_MAP_UTCB_=0 -CONFIG_CONT0_PHYS2_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_VIRT4_CAP_MAP_WRITE_=1 -CONFIG_CONT3_VIRT2_CAP_MAP_UTCB_=0 -CONFIG_CONT0_PHYS1_CAP_MAP_UNMAP_=1 -CONFIG_CONT3_VIRT3_CAP_MAP_UTCB_=0 -CONFIG_CONT2_VIRT5_CAP_MAP_READ_=1 -CONFIG_CONT1_VIRT2_CAP_MAP_UTCB_=0 -CONFIG_CONT0_VIRT4_CAP_MAP_UTCB_=0 -CONFIG_CONT1_PHYS0_CAP_MAP_WRITE_=1 -CONFIG_CONT0_VIRT1_CAP_MAP_UTCB_=0 -CONFIG_CONT3_VIRT1_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_VIRT1_CAP_MAP_WRITE_=1 -CONFIG_CONT1_VIRT2_CAP_MAP_READ_=1 -CONFIG_CONT2_VIRT2_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_VIRT0_CAP_MAP_WRITE_=1 -CONFIG_CONT0_PHYS3_CAP_MAP_EXEC_=1 -CONFIG_CONT3_PHYS0_CAP_MAP_READ_=1 -CONFIG_CONT3_VIRT0_CAP_MAP_WRITE_=1 -CONFIG_CONT1_VIRT3_CAP_MAP_UTCB_=1 -CONFIG_CONT3_VIRT1_CAP_MAP_WRITE_=1 -CONFIG_CONT1_VIRT1_CAP_MAP_UNMAP_=1 -CONFIG_CONT0_PHYS1_CAP_MAP_EXEC_=1 -CONFIG_CONT0_VIRT1_CAP_MAP_EXEC_=1 -CONFIG_CONT2_PHYS0_CAP_MAP_READ_=1 -CONFIG_CONT0_VIRT0_CAP_MAP_UTCB_=0 -CONFIG_CONT3_VIRT2_CAP_MAP_EXEC_=1 -CONFIG_CONT1_PHYS0_CAP_MAP_READ_=1 -CONFIG_CONT0_PHYS1_CAP_MAP_WRITE_=1 -CONFIG_CONT0_VIRT0_CAP_MAP_WRITE_=1 -CONFIG_CONT3_PHYS1_CAP_MAP_WRITE_=1 -CONFIG_CONT1_VIRT3_CAP_MAP_READ_=1 -CONFIG_CONT0_VIRT0_CAP_MAP_UNMAP_=1 -CONFIG_CONT0_PHYS3_CAP_MAP_UNMAP_=1 -CONFIG_CONT2_VIRT3_CAP_MAP_UTCB_=0 -CONFIG_CONT1_VIRT2_CAP_MAP_WRITE_=1 -CONFIG_CONT1_VIRT5_CAP_MAP_UTCB_=0 -CONFIG_CONT3_VIRT4_CAP_MAP_READ_=1 -CONFIG_CONT3_VIRT4_CAP_MAP_UTCB_=0 -CONFIG_CONT3_VIRT3_CAP_MAP_READ_=1 -CONFIG_CONT0_PHYS1_CAP_MAP_READ_=1 -CONFIG_CONT1_VIRT5_CAP_MAP_WRITE_=1 -CONFIG_CONT2_PHYS2_CAP_MAP_READ_=1 -CONFIG_CONT1_VIRT0_CAP_MAP_READ_=1 -CONFIG_CONT2_VIRT4_CAP_MAP_EXEC_=1 -CONFIG_CONT0_PHYS0_CAP_MAP_READ_=1 -CONFIG_CONT2_VIRT0_CAP_MAP_UTCB_=0 -CONFIG_CONT1_VIRT5_CAP_MAP_READ_=1 -CONFIG_CONT3_VIRT0_CAP_MAP_READ_=1 -CONFIG_CONT0_VIRT0_CAP_MAP_EXEC_=1 -CONFIG_CONT0_VIRT5_CAP_MAP_WRITE_=1 -CONFIG_CONT1_VIRT5_CAP_MAP_EXEC_=1 -CONFIG_CONT2_PHYS0_CAP_MAP_EXEC_=1 -CONFIG_CONT3_PHYS3_CAP_MAP_UNMAP_=1 -CONFIG_CONT0_VIRT5_CAP_MAP_READ_=1 -CONFIG_CONT1_VIRT2_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_PHYS2_CAP_MAP_EXEC_=1 -CONFIG_CONT0_VIRT1_CAP_MAP_READ_=1 -CONFIG_CONT0_PHYS2_CAP_MAP_EXEC_=1 -CONFIG_CONT3_VIRT5_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_PHYS0_CAP_MAP_EXEC_=1 -CONFIG_CONT2_PHYS1_CAP_MAP_WRITE_=1 -CONFIG_CONT3_VIRT3_CAP_MAP_EXEC_=1 -CONFIG_CONT2_PHYS3_CAP_MAP_UNMAP_=1 -CONFIG_CONT3_VIRT5_CAP_MAP_EXEC_=1 -CONFIG_CONT1_PHYS1_CAP_MAP_WRITE_=1 -CONFIG_CONT3_VIRT3_CAP_MAP_WRITE_=1 -CONFIG_CONT0_VIRT2_CAP_MAP_EXEC_=1 -CONFIG_CONT2_VIRT2_CAP_MAP_EXEC_=1 -CONFIG_CONT0_VIRT1_CAP_MAP_UNMAP_=1 -CONFIG_CONT2_PHYS1_CAP_MAP_READ_=1 -CONFIG_CONT0_VIRT2_CAP_MAP_UNMAP_=1 -CONFIG_CONT0_VIRT2_CAP_MAP_READ_=1 -CONFIG_CONT0_VIRT4_CAP_MAP_READ_=1 -CONFIG_CONT3_VIRT1_CAP_MAP_EXEC_=1 -CONFIG_CONT3_PHYS0_CAP_MAP_WRITE_=1 -CONFIG_CONT3_PHYS2_CAP_MAP_UNMAP_=1 -CONFIG_CONT3_VIRT4_CAP_MAP_UNMAP_=1 -CONFIG_CONT3_PHYS3_CAP_MAP_EXEC_=1 -CONFIG_CONT1_VIRT3_CAP_MAP_WRITE_=1 -CONFIG_CONT3_VIRT0_CAP_MAP_UTCB_=0 -CONFIG_CONT0_PHYS2_CAP_MAP_WRITE_=1 -CONFIG_CONT1_PHYS1_CAP_MAP_UNMAP_=1 -CONFIG_CONT0_VIRT3_CAP_MAP_UNMAP_=1 -CONFIG_CONT0_PHYS3_CAP_MAP_READ_=1 -CONFIG_CONT2_VIRT5_CAP_MAP_WRITE_=1 -CONFIG_CONT2_VIRT4_CAP_MAP_UTCB_=0 -CONFIG_CONT2_PHYS0_CAP_MAP_WRITE_=1 -CONFIG_CONT0_VIRT4_CAP_MAP_EXEC_=1 -CONFIG_CONT2_VIRT0_CAP_MAP_READ_=1 -CONFIG_CONT1_PHYS2_CAP_MAP_READ_=1 -CONFIG_CONT1_VIRT1_CAP_MAP_EXEC_=1 -CONFIG_CONT2_VIRT3_CAP_MAP_EXEC_=1 -CONFIG_CONT2_VIRT4_CAP_MAP_WRITE_=1 -CONFIG_CONT3_VIRT1_CAP_MAP_READ_=1 -CONFIG_CONT1_VIRT1_CAP_MAP_READ_=1 -CONFIG_CONT3_VIRT2_CAP_MAP_READ_=1 -CONFIG_CONT2_PHYS3_CAP_MAP_WRITE_=1 -CONFIG_CONT0_VIRT3_CAP_MAP_WRITE_=1 -CONFIG_CONT3_PHYS2_CAP_MAP_EXEC_=1 -CONFIG_CONT2_VIRT5_CAP_MAP_UTCB_=0 -CONFIG_CONT1_PHYS2_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_VIRT2_CAP_MAP_EXEC_=1 -CONFIG_CONT3_PHYS2_CAP_MAP_WRITE_=1 -CONFIG_CONT2_VIRT3_CAP_MAP_WRITE_=1 -CONFIG_CONT0_PHYS0_CAP_MAP_UNMAP_=1 -CONFIG_CONT3_VIRT5_CAP_MAP_WRITE_=1 -CONFIG_CONT1_VIRT3_CAP_MAP_EXEC_=1 -CONFIG_CONT2_VIRT4_CAP_MAP_UNMAP_=1 -CONFIG_CONT2_VIRT3_CAP_MAP_READ_=1 -CONFIG_CONT0_PHYS0_CAP_MAP_WRITE_=1 -CONFIG_CONT3_PHYS2_CAP_MAP_READ_=1 -CONFIG_CONT3_PHYS0_CAP_MAP_EXEC_=1 -CONFIG_CONT1_PHYS3_CAP_MAP_WRITE_=1 -CONFIG_CONT0_PHYS2_CAP_MAP_READ_=1 -CONFIG_CONT2_VIRT1_CAP_MAP_EXEC_=1 -CONFIG_CONT0_PHYS3_CAP_MAP_WRITE_=1 -CONFIG_CONT0_VIRT5_CAP_MAP_EXEC_=1 -CONFIG_CONT1_VIRT5_CAP_MAP_UNMAP_=1 -CONFIG_CONT2_PHYS2_CAP_MAP_EXEC_=1 -CONFIG_CONT0_VIRT5_CAP_MAP_UTCB_=0 -CONFIG_CONT1_VIRT4_CAP_MAP_READ_=1 -CONFIG_CONT1_VIRT1_CAP_MAP_UTCB_=0 -CONFIG_CONT0_PHYS0_CAP_MAP_EXEC_=1 -CONFIG_CONT1_VIRT0_CAP_MAP_UNMAP_=1 -CONFIG_CONT0_VIRT3_CAP_MAP_READ_=1 -CONFIG_CONT0_VIRT2_CAP_MAP_WRITE_=1 -CONFIG_CONT2_VIRT3_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_VIRT4_CAP_MAP_EXEC_=1 -CONFIG_CONT3_VIRT4_CAP_MAP_WRITE_=1 -CONFIG_CONT2_VIRT2_CAP_MAP_WRITE_=1 -CONFIG_CONT2_PHYS0_CAP_MAP_UNMAP_=1 -CONFIG_CONT3_PHYS1_CAP_MAP_READ_=1 -CONFIG_CONT3_VIRT3_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_PHYS3_CAP_MAP_UNMAP_=1 -CONFIG_CONT2_PHYS2_CAP_MAP_WRITE_=1 -CONFIG_CONT3_VIRT0_CAP_MAP_EXEC_=1 -CONFIG_CONT0_VIRT3_CAP_MAP_UTCB_=0 -CONFIG_CONT0_VIRT4_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_PHYS2_CAP_MAP_WRITE_=1 -CONFIG_CONT2_VIRT0_CAP_MAP_WRITE_=1 -CONFIG_CONT2_VIRT4_CAP_MAP_READ_=1 -CONFIG_CONT2_VIRT5_CAP_MAP_EXEC_=1 -CONFIG_CONT2_VIRT1_CAP_MAP_UNMAP_=1 -CONFIG_CONT3_PHYS1_CAP_MAP_UNMAP_=1 -CONFIG_CONT2_PHYS1_CAP_MAP_UNMAP_=1 -CONFIG_CONT0_VIRT0_CAP_MAP_READ_=1 -CONFIG_CONT2_VIRT2_CAP_MAP_READ_=1 -CONFIG_CONT2_VIRT1_CAP_MAP_READ_=1 -CONFIG_CONT1_PHYS3_CAP_MAP_READ_=1 -CONFIG_CONT0_VIRT5_CAP_MAP_UNMAP_=1 -CONFIG_CONT0_VIRT4_CAP_MAP_WRITE_=1 -CONFIG_CONT3_PHYS3_CAP_MAP_WRITE_=1 -CONFIG_CONT0_VIRT3_CAP_MAP_EXEC_=1 -CONFIG_CONT2_VIRT5_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_VIRT0_CAP_MAP_UTCB_=0 -CONFIG_CONT1_PHYS1_CAP_MAP_EXEC_=1 -CONFIG_CONT1_VIRT4_CAP_MAP_UNMAP_=1 -CONFIG_CONT2_PHYS3_CAP_MAP_EXEC_=1 -CONFIG_CONT3_PHYS3_CAP_MAP_READ_=1 -CONFIG_CONT3_VIRT1_CAP_MAP_UTCB_=0 -CONFIG_CONT3_VIRT5_CAP_MAP_READ_=1 -CONFIG_CONT3_PHYS0_CAP_MAP_UNMAP_=1 -CONFIG_CONT3_VIRT4_CAP_MAP_EXEC_=1 -CONFIG_CONT2_VIRT0_CAP_MAP_UNMAP_=1 -CONFIG_CONT3_VIRT0_CAP_MAP_UNMAP_=1 -CONFIG_CONT2_VIRT1_CAP_MAP_WRITE_=1 -CONFIG_CONT3_VIRT2_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_VIRT3_CAP_MAP_UNMAP_=1 -CONFIG_CONT1_PHYS0_CAP_MAP_UNMAP_=1 -CONFIG_CONT2_VIRT0_CAP_MAP_EXEC_=1 -CONFIG_CONT1_VIRT4_CAP_MAP_UTCB_=0 -CONFIG_CONT3_VIRT5_CAP_MAP_UTCB_=0 -CONFIG_CONT0_VIRT1_CAP_MAP_WRITE_=1 -CONFIG_CONT2_PHYS2_CAP_MAP_UNMAP_=1 -CONFIG_CONT0_VIRT2_CAP_MAP_UTCB_=1 -CONFIG_CONT1_PHYS3_CAP_MAP_EXEC_=1 -CONFIG_CONT2_PHYS3_CAP_MAP_READ_=1 -CONFIG_CONT3_VIRT2_CAP_MAP_WRITE_=1 -CONFIG_CONT2_PHYS1_CAP_MAP_EXEC_=1 -CONFIG_CONT3_PHYS1_CAP_MAP_EXEC_=1 -CONFIG_CONT1_VIRT0_CAP_MAP_EXEC_=1 # # That's all, folks! diff --git a/configure.py b/configure.py index faac57f..537fbdc 100755 --- a/configure.py +++ b/configure.py @@ -97,7 +97,8 @@ def build_parse_options(): exit() # -f or -r or -n or -a implies -c - if options.cml_file or options.ncont or options.arch or options.reset_config: + if options.cml_file or options.ncont or options.arch or options.reset_config \ + or not os.path.exists(BUILDDIR): options.config = 1 return options, args