2013/11/7 Ming Lei <tom.leim...@gmail.com>: > On Thu, Nov 7, 2013 at 10:18 AM, Axel Lin <axel....@ingics.com> wrote: >> 2013/11/7 Ming Lei <tom.leim...@gmail.com>: >>> Could you share what is the value of CONFIG_PAGE_OFFSET >>> on your noMMU platform? >> >> $ grep CONFIG_PAGE_OFFSET .config >> CONFIG_PAGE_OFFSET=0xC0000000 > > It seems that the PAGE_OFFSET is _not_ the start of kernel memory > in linear address space on your platform, I think it may not be a correct > usage, even for uClinux.
hi Ming, Seems CONFIG_PAGE_OFFSET is not configurabe in "make menuconfig". And I found CONFIG_PAGE_OFFSET=0xC0000000 for all below configs... $ make at91_dt_defconfig; grep CONFIG_PAGE_OFFSET .config $ make ep93xx_defconfig; grep CONFIG_PAGE_OFFSET .config $ make imx_v4_v5_defconfig; grep CONFIG_PAGE_OFFSET .config $ make mxs_defconfig; grep CONFIG_PAGE_OFFSET .config $ make omap2plus_defconfig; grep CONFIG_PAGE_OFFSET .config $ make s3c6400_defconfig; grep CONFIG_PAGE_OFFSET .config $ make at91x40_defconfig; grep CONFIG_PAGE_OFFSET .config ( at91x40_defconfig is also arm7tdmi ) Regards, Axel -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
