[fedora-arm] Fedora 18 on wandboard

[Jurgen Kramer]

I got Fedora 18 ARM running on my wandboard dual. I used a F18 rootfs to
get things started and bolted on the wandboard 3.0.35 kernel (config
adjusted for Fedora).
Everything seems to be running fine, only one odd thing with the tmpfs
filesystems. They seem to be mounted without the size option:

[root at localhost ~]# df -H /run
Filesystem      Size  Used Avail Use% Mounted on
tmpfs              0     0     0    - /run

mount output:
devtmpfs on /dev type devtmpfs (rw,nosuid,mode=0755)

/run being 0 prevents avahi from getting installed.


vs F18 running vexpress image using qemu:

mount output:
devtmpfs on /dev type devtmpfs
(rw,nosuid,seclabel,size=508744k,nr_inodes=127186,mode=755)

df -H /run
[root at localhost ~]# df -H /run
Filesystem      Size  Used Avail Use% Mounted on
tmpfs           528M  1.3M  527M   1% /run

Any way for me to fix this?  Did I miss some important kernel config option?
The wandboard image is fully updated.

Jurgen