]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/boot/ia32/boot.S
update
[l4.git] / kernel / fiasco / src / boot / ia32 / boot.S
index a3feb407004a96abed75770dc3667fe8dc509358..26b155fb8f23f699780f815e2ea0bd3127e5de99 100644 (file)
@@ -3,8 +3,6 @@
        .globl  _boot_start
 _boot_start:
        leal    _stack,%esp
-       movl    %eax,%edx               /* mbinfo_flag */
-       movl    %ebx,%eax               /* mbinfo */
        pushl   $0                      /* no return address */
        jmp     bootstrap