[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Fwd: [Minios-devel] Mini-OS on ARM64



Hi Anil,

Glad to know that it might be helpful to you.

I've an arm64 devboard on my desk. So I think I could help (after I finished
the rest of ports of mini-os) if needed. :-)

Cheers,

Baozi.

On Mon, Nov 09, 2015 at 11:11:04AM +0000, Anil Madhavapeddy wrote:
> Chen Baozi (CCed) has got MiniOS booting on ARM64!  OCaml also has native 
> code support for ARM64, so I opened a tracking issue for us.
> 
> https://github.com/mirage/mirage/issues/463
> 
> Anyone got any hardware?
> 
> -anil
> 
> > Begin forwarded message:
> > 
> > From: Chen Baozi <cbz@xxxxxxxxxx>
> > Date: 9 November 2015 at 08:29:07 GMT
> > To: minios-devel@xxxxxxxxxxxxxxxxxxxx
> > Cc: xen-devel@xxxxxxxxxxxxxxxxxxxx
> > Subject: [Minios-devel] Mini-OS on ARM64
> > 
> > Hi all,
> > 
> > With plenty of ugly hacks, mini-os is now able to boot on my arm64 board:
> > 
> > (d37) - Mini-OS booting -
> > (d37) - Setup CPU -
> > (d37) - Setup booting pagetable -
> > (d37) - MMU on -
> > (d37) - Setup stack -
> > (d37) - Jumping to C entry -
> > (d37) Checking DTB at ffffffbffffff000...
> > (d37) map_console, phys = 0x39000000
> > (d37) Console is on port 2
> > (d37) Console ring is at mfn ffffffbfffc00000
> > (d37) MM: Init
> > (d37)     _text: ffffffc000000000(VA)
> > (d37)     _etext: ffffffc00000f120(VA)
> > (d37)     _erodata: ffffffc000011000(VA)
> > (d37)     _edata: ffffffc00001c31c(VA)
> > (d37)     stack start: ffffffc000018000(VA)
> > (d37)     _end: ffffffc000025788(VA)
> > (d37) Found memory at 0x40000000 (len 0x8000000)
> > (d37) Using pages 262182 to 294912 as free space for heap.
> > (d37) MM: Initialise page allocator for 
> > ffffffc000026000(40026000)-ffffffc008000000(48000000)
> > (d37) MM: done
> > (d37) Found GIC: gicd_base = ffffffbfffa01000, gicc_base = ffffffbfffa02000
> > (d37) Initialising timer interface
> > (d37) Virtual Count register is 22aba5, freq = 50000000 Hz
> > (d37) Initialising console ... done.
> > (d37) FDT suggests grant table base 38000000
> > (d37) gnttab_table mapped at ffffffbff8000000.
> > (d37) Initialising scheduler
> > (d37) Thread "Idle": pointer: 0xffffffc00002f070, stack: 0xffffffc000030000
> > (d37) Thread "xenstore": pointer: 0xffffffc00002f0d0, stack: 
> > 0xffffffc000040000
> > (d37) xenbus initialised on irq 1 mfn 0x39001
> > (d37) Thread "shutdown": pointer: 0xffffffc00002f130, stack: 
> > 0xffffffc000050000
> > (d37) Test main: start_info=ffffffc000025298
> > (d37) Thread "xenbus_tester": pointer: 0xffffffc00002f190, stack: 
> > 0xffffffc000060000
> > (d37) Thread "periodic_thread": pointer: 0xffffffc00002f1f0, stack: 
> > 0xffffffc000070000
> > (d37) Thread "shutdown": pointer: 0xffffffc00002f250, stack: 
> > 0xffffffc000080000
> > 
> > However, it is still at very early stage (means unfinished features, lots of
> > bugs and termporary hacks). There is still a lot of work needed before it 
> > can
> > be merged. So I just put the codes on the github in case anyone would like
> > to have a try. I'll continue to work on it until it can be sent as patches.
> > 
> > Any comment is welcome.
> > 
> > Some info you might need:
> > 
> > * Github url:
> >  https://github.com/baozich/mini-os
> > * Command that I use to build:
> >  CONFIG_TEST=y CONFIG_START_NETWORK=n CONFIG_BLKFRONT=n CONFIG_NETFRONT=n \
> >  CONFIG_FBFRONT=n CONFIG_KBDFRONT=n CONFIG_CONSFRONT=n CONFIG_XC=n \
> >  MINIOS_TARGET_ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- make
> > * XL config:
> >  name = "mini-os"
> >  vcpus = 1
> >  memory = 128
> >  gic_version = "v2"
> >  kernel = "/path/to/mini-os.img"
> > 
> > Cheers,
> > 
> > Baozi.
> > 
> > _______________________________________________
> > Minios-devel mailing list
> > Minios-devel@xxxxxxxxxxxxxxxxxxxx
> > http://lists.xenproject.org/cgi-bin/mailman/listinfo/minios-devel
> > 
> 

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.