smaccm / sel4arm-vmm-manifest

Manifest for ARM VMM running on seL4 micro kernel
Other
4 stars 1 forks source link

How to make Image file? #2

Open Q82822 opened 5 years ago

Q82822 commented 5 years ago

i have follow your document Compile.but it can't make and why to fix it and make the Image file.

 thank you!!!!!!!
it is my error____

error: size of array '__assert_failed_bi_size' is negative
  compile_assert(bi_size, sizeof(bi_f) <= BIT(BI_FRAME_SIZE_BITS))

/sel4Vmm/sel4test/kernal/Makefile:480: recipe for target "kernal_final.s' failed
make[1]: *** [kernal_final.s] Error 1
tools/common/project.mk:243: recipe for target "kernal_elf" failed
make: *** [kernal_final.s] Error 2