seL4指定了可以运行的平台，按照下面的匹配来编译它。
ARCH
PLAT
ARMV
CPU
arm
imx31
armv6
arm1136jf-s
arm
omap3
armv7-a
cortex-a8
arm
am335x
armv7-a
cortex-a8
ia32
pc99...
分类：
其他好文 时间：
2015-07-09 21:33:48
阅读次数：
622
这一次收集的是比较基础的 Linux 命令，其实 Linux 命令未必每个都要记住，只要在用到时能查阅到需要的命令的用法。系统信息arch 显示机器的处理器架构(1)uname -m 显示机器的处理器架构(2)uname -r 显示正在使用的内核版本dmidecode -q 显示硬件系统部件 – (...
分类：
系统相关 时间：
2015-07-09 21:04:39
阅读次数：
241
1.crash log 奔溃定位 dwarfdump --arch= --lookup 0x44b79 .app.dSYM atos -arch -o .app/ 0x000235f32.xcode安装路径查询和设置 xcode-select -print-path #查询 xcode-se...
分类：
系统相关 时间：
2015-07-09 19:33:21
阅读次数：
147
本文参考自:
http://askubuntu.com/questions/72070/how-do-i-change-dconf-keys-without-a-gui-for-a-post-install-script
http://askubuntu.com/questions/45535/how-do-i-clean-up-my-dconf-database
新装的arch...
分类：
系统相关 时间：
2015-07-09 06:21:09
阅读次数：
307
进入一个uboot目录，执行make distcleanmake at91sam9260ek_configmake ARCH=arm CROSS_COMPILE=arm-linux-cp tools/mkimage /usr/bin然后再进入linux-2.6.32中，make uImageARCH...
分类：
其他好文 时间：
2015-07-09 00:39:26
阅读次数：
114
1.4 Nandflash移植
先解决上面的错误，修改arch/arm/cpu/arm1176/s3c64xx/timer.c
static ulong timer_load_val;修改为 DECLARE_GLOBAL_DATA_PTR;
删除下面的两个定义：
/* Internal tick units */
/* Last decremneter snapshot */
sta...
分类：
其他好文 时间：
2015-07-07 17:01:38
阅读次数：
284
系统信息 arch 显示机器的处理器架构(1) uname -m 显示机器的处理器架构(2) uname -r 显示正在使用的内核版本 dmidecode -q 显示硬件系统部件 - (SMBIOS / DMI) hdparm -i /dev/hda 罗列一个磁盘的架构特性 hdparm -tT /...
分类：
系统相关 时间：
2015-07-07 14:39:53
阅读次数：
168
显示Linux系统信息
arch 显示机器的处理器架构(1)
uname -m 显示机器的处理器架构(2)
uname -r 显示正在使用的内核版本
dmidecode -q 显示硬件系统部件 – (SMBIOS / DMI)
hdparm -i /dev/hda 罗列一个磁盘的架构特性
hdparm -tT /dev/sda 在磁盘上执行测试性读取操作
...
分类：
系统相关 时间：
2015-07-06 23:33:43
阅读次数：
513
kernel/smp.c/* An arch may set nr_cpu_ids earlier if needed, so this would be redundant */
void __init setup_nr_cpu_ids(void)
{
nr_cpu_ids = find_last_bit(cpumask_bits(cpu_possible_mask),NR_CPUS) +...
分类：
其他好文 时间：
2015-07-06 21:52:09
阅读次数：
395
系统信息 arch 显示机器的处理器架构(1) uname -m 显示机器的处理器架构(2) uname -r 显示正在使用的内核版本 dmidecode -q 显示硬件系统部件 - (SMBIOS / DMI) hdparm -i /dev/hda 罗列一个磁盘的架构特性 hdparm -tT /...
分类：
系统相关 时间：
2015-07-06 15:47:04
阅读次数：
211
