static void
main_thread (void *aux UNUSED)
{
- struct disk *hda;
disk_init ();
- hda = disk_get (0);
- if (hda != NULL)
- {
- char buf[DISK_SECTOR_SIZE];
- disk_read (hda, 0, buf);
- hex_dump (buf, sizeof buf);
- }
- else
- printk ("no hda\n");
- thread_execute ("a.out");
+
+#ifdef FILESYS
+ filesys_init (true);
+#endif
+ filesys_self_test ();
}
int
the bootloader how much RAM this machine has. */
kernel_pages = (&_end - &_text + 4095) / 4096;
ram_pages = *(uint32_t *) (0x7e00 - 6);
- printk ("ram: detected %'d kB.\n", ram_pages * 4);
+ printk ("ram: detected %'d kB main memory.\n", ram_pages * 4);
/* Memory from the end of the kernel through the end of memory
is free. Give it to the page allocator. */
timer_init ();
kbd_init ();
-#ifdef FILESYS
- filesys_init (false);
-#endif
-
thread_init ();
t = thread_create ("main", main_thread, NULL);