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

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

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