On Fri, Mar 19, 2021 at 8:42 PM Vincent Legoll <vincent.leg...@gmail.com> wrote: > > On Fri, Mar 19, 2021 at 7:02 PM Vincent Legoll <vincent.leg...@gmail.com> > wrote: > > I have created a guix build recipe for seL4 recently, it builds, but I don't > > know what to do with it :-) > > > > I'll send it as a followup to this thread, if any one is interested. > > Here it is, ukernel only, hardcoded arch, nothing fancy like camkes, etc.
vince@guix ~/dev/repo/guix [env]$ file /gnu/store/8j7zdpnagz2i90cbmrqnk1vbsdck4d21-sel4-12.0.0/kernel.elf /gnu/store/8j7zdpnagz2i90cbmrqnk1vbsdck4d21-sel4-12.0.0/kernel.elf: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), statically linked, not stripped vince@guix ~/dev/repo/guix [env]$ l /gnu/store/8j7zdpnagz2i90cbmrqnk1vbsdck4d21-sel4-12.0.0/kernel.elf -r-xr-xr-x 2 root root 179K Jan 1 1970 /gnu/store/8j7zdpnagz2i90cbmrqnk1vbsdck4d21-sel4-12.0.0/kernel.elf vince@guix ~/dev/repo/guix [env]$ ./pre-inst-env guix build --check --rounds=5 sel4 [...] successfully built /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv The following builds are still in progress: /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv successfully built /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv The following builds are still in progress: /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv /gnu/store/laxxpkng3rs3kq1b5gbyzqsvlw97hdwk-sel4-12.0.0.drv Looks even reproducible... -- Vincent Legoll
