jnider / dominos Goto Github PK

Despite many trial modifications to the syslinux.cfg file, syslinux always fails with the error "Can't find kernel" leaving me at the "boot" prompt.
From the "boot" prompt, I am able to load mboot.c32 and the joel4.elf kernel manually. I suspect this may be someway connected to the ISO image format.

When I request the KIP can I overwrite something I shouldn't?

Causes bad things to happen once the root task becomes active.

awk or gawk
ctags
xorriso

This code does not compile on a 64-bit host
the target code should also be 64-bit

Found by running 'make clean' when init.cpio doesn't exist

rm init.cpio
rm: cannot remove ‘init.cpio’: No such file or directory

If there is no code after loading the GDT, there is a general protection fault. By putting in a dummy printf(), everything works.

add $(LDFLAGS) for 64-bit compatibility

The root task page tables are not set up right, which causes a page fault. The page fault handler is not set up right, which causes some other fault (2). The double fault handler is not accessible, which causes a fault(3). Triple fault, and the machine is halted.

Should be able to build the kernel for different target architectures, and different processors

how about only adding -g in debug mode? and set O2 when not in debug mode

src/kernel.c:269:21: warning: assignment makes integer from pointer without a cast [enabled by default]

src/syscall.c:50:4: warning: initialization from incompatible pointer type [enabled by default]
src/syscall.c:50:4: warning: (near initialization for ‘syscall_handler_table[0]’) [enabled by default]

For example:
When compiling src/kernel.c, modified header files that are included are not noticed, and the .c file is not rebuilt as a result.