[seL4] About the BuildSystem of seL4