| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-riscv/ |
| H A D | boot.c | 161 void main(UNUSED int hartid, void *bootloader_dtb) function
|
| /seL4-refos-master/tools/elfloader/src/arch-riscv/ |
| H A D | boot.c | 161 void main(UNUSED int hartid, void *bootloader_dtb) function
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
| H A D | pcmain.c | 5 /* main.c - MSDOS, OS/2, ST, Amiga, and NT NetHack */
80 int FDECL(main, (int,char **));
96 /* If the graphics version is built, we don't need a main; it is skipped
97 * to help MinGW decide which entry point to choose. If both main and
102 main(argc,argv)
|
| /seL4-refos-master/projects/refos/impl/apps/tetris/src/ |
| H A D | tetris.c | 336 main() function
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
| H A D | pcmain.c | 5 /* main.c - MSDOS, OS/2, ST, Amiga, and NT NetHack */
80 int FDECL(main, (int,char **));
96 /* If the graphics version is built, we don't need a main; it is skipped
97 * to help MinGW decide which entry point to choose. If both main and
102 main(argc,argv)
|
| /seL4-refos-master/apps/tetris/src/ |
| H A D | tetris.c | 336 main() function
|
| /seL4-refos-master/kernel/manual/tools/ |
| H A D | parse_doxygen_xml.py | 556 def main(): function
587 sys.exit(main())
|
| /seL4-refos-master/libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 253 int main(void) { function
|
| /seL4-refos-master/projects/refos/impl/apps/test_user/src/ |
| H A D | test_user.c | 374 main() function
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 253 int main(void) { function
|
| /seL4-refos-master/apps/test_user/src/ |
| H A D | test_user.c | 374 main() function
|
| /seL4-refos-master/projects/refos/impl/apps/selfloader/src/ |
| H A D | selfloader.c | 463 /*! @brief Selfloader main function. */
465 main(void) function
471 __vsyscall_ptr in main(), the compiler optimizes away __vsyscall_ptr
|
| /seL4-refos-master/projects/refos/impl/apps/test_os/src/ |
| H A D | test_os.c | 481 main() function
488 __vsyscall_ptr in main(), the compiler optimizes away __vsyscall_ptr
|
| /seL4-refos-master/apps/selfloader/src/ |
| H A D | selfloader.c | 463 /*! @brief Selfloader main function. */
465 main(void) function
471 __vsyscall_ptr in main(), the compiler optimizes away __vsyscall_ptr
|
| /seL4-refos-master/apps/test_os/src/ |
| H A D | test_os.c | 481 main() function
488 __vsyscall_ptr in main(), the compiler optimizes away __vsyscall_ptr
|
| /seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 1067 def main(): function
1100 sys.exit(main())
|
| /seL4-refos-master/kernel/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 1067 def main(): function
1100 sys.exit(main())
|
| /seL4-refos-master/libs/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 1067 def main(): function
1100 sys.exit(main())
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
| H A D | qt_win.h | 689 // This class is the main widget for NetHack
794 static NetHackQtMainWindow* main; member in class:NetHackQtBind
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | music.c | 744 main(argc,argv) function
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
| H A D | qt_win.h | 689 // This class is the main widget for NetHack
794 static NetHackQtMainWindow* main; member in class:NetHackQtBind
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | music.c | 744 main(argc,argv) function
|
| /seL4-refos-master/projects/refos/design/ |
| H A D | interface.tex | 279 \refOS follows the component-based multi-server operating system design. The two main components in the design are the process server and the file server. \refOS implements an additional operating system server which is a dataserver that is responsible for basic device related tasks.
296 The file server is more trusted than clients, but it is less trusted than the process server (this avoids deadlock). In \refOS, the file server does not use a disk driver and the actual file contents are compiled into the file server executable itself using a cpio archive. The file server acts as the main data server in \refOS.
|
| /seL4-refos-master/libs/libmuslc/ |
| H A D | configure | 16 --prefix=PREFIX main installation prefix [/usr/local/musl]
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | ipc.tex | 266 The main difference with a normal endpoint transfer is that the kernel guarantees
|