aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* vm_page_print: Fix typoHEADmasterSamuel Thibault2025-02-051-1/+1
|
* Fix build against automake 1.17Samuel Thibault2025-02-043-2/+24
|
* vm_page: Avoid trying to evict internal pages until defpager is upSamuel Thibault2025-02-041-1/+1
| | | | | | | | Otherwise we will get stuck inside vm_object_pager_create's call to vm_object_enter trying to reference it. This avoids getting stuck when there is no swap and we don't start a defpager.
* make hwcaps_t a pointer to uint64_tDiego Nieto Cid2025-01-142-2/+2
| | | | | | | | | | | * aarch64/include/mach/aarch64/mach_aarch64.defs: (hwcaps_t) make type an array of uint64_t. * aarch64/include/mach/aarch64/mach_aarch64_types.h (hwcaps_t) make type a pointer to uint64_t Acked-by: Sergey Bugaev <bugaevc@gmail.com> Message-ID: <20250109224057.1652-1-dnietoc@gmail.com>
* Fix boot with smp 1gfleury2025-01-111-0/+3
| | | | Message-ID: <20250111083330.26863-1-gfleury@disroot.org>
* kern: Add a mach host operation which returns elapsed time since bootupZhaoming Luo2024-12-295-0/+54
| | | | | | | | | | | | | | Add host_get_uptime64() mach interface operation. It can be used to get the time passed since the boot up. * doc/mach.texi: Add the documentation for the operation * include/mach/mach_host.defs: Add the interface * include/mach/time_value.h: Extend the mappable time variable * kern/mach_clock.c: Operation implementation * kern/mach_clock.h: Add a new variable for storing uptime Signed-off-by: Zhaoming Luo <zhmingluo@163.com> Message-ID: <20241224015751.1282-1-zhmingluo@163.com>
* i386/irq: Add missing enumeration for high interruptsDamien Zammit2024-12-291-1/+3
| | | | | | Because we support up to 64 irqs with 2 IOAPICs. Message-ID: <20241228042008.704671-1-damien@zamaudio.com>
* tests: Fix out-of-order generation of mig filesSamuel Thibault2024-12-281-0/+2
| | | | | | Make is allowed to run the tests/module-% prereqs out-of-order, so explicit the dependency between installing .defs files and generating .user/server.c.
* tests: Fix parallel build of iso filesSamuel Thibault2024-12-281-5/+6
| | | | We need to use a separate iso tree directory.
* xen: Fix buildSamuel Thibault2024-12-281-0/+2
|
* kern: Comment fixedZhaoming Luo2024-12-242-2/+2
| | | | | | | | Read also: https://mail.gnu.org/archive/html/bug-hurd/2024-12/msg00219.html Signed-off-by: Zhaoming Luo <zhmingluo@163.com> Message-ID: <20241224024417.1403-1-zhmingluo@163.com>
* irq: make device_intr_register reject bogus intr idSamuel Thibault2024-12-241-0/+3
|
* intr: Note which interrupt is being refused to userlandSamuel Thibault2024-12-231-1/+1
|
* apic: Add extended feature registers for local apic unitDamien Zammit via Bug reports for the GNU Hurd2024-12-226-5/+55
| | | | | | Add workaround for broken systems that advertise 8 bit APIC ids but only match IPIs on 4 bits of the APIC id. Message-ID: <20241222014306.430098-4-damien@zamaudio.com>
* smp: Use deassert for startup IPI not assertDamien Zammit via Bug reports for the GNU Hurd2024-12-221-22/+40
| | | | | | | | Fixes ESR==0x8 error on AMD fam15h. Fixed timings. Cannot locate documentation on correct mode for STARTUP IPI, but this patch works on AMD hw and qemu. Message-ID: <20241222014306.430098-3-damien@zamaudio.com>
* smp: Parallel SMP initDamien Zammit via Bug reports for the GNU Hurd2024-12-226-68/+31
| | | | | | | | | Now that things are in place, we switch to parallel init. The key to this change is that the INIT/STARTUP sequence is done in one step, and all cpus wake up at the same time. Synchronisation is done via waiting for individual flags stored in separate memory locations. Message-ID: <20241222014306.430098-2-damien@zamaudio.com>
* cpuboot: Use x86 array indexing to make code more readableSamuel Thibault2024-12-221-15/+6
|
* cpuboot: Make sure we copy forwardSamuel Thibault2024-12-221-0/+1
|
* cpuboot: Fix percpu apboot_gdt for early gsDamien Zammit via Bug reports for the GNU Hurd2024-12-221-10/+53
| | | | | | | | This allocates a constant space for percpu gdts and copies the first entry to the nth entry on each cpu, then patches its own copy of the gdt so it can function independently. Message-ID: <20241221235456.423860-2-damien@zamaudio.com>
* acpi_parse_apic: Check CAPABLE bit field on lapic MADT flagDamien Zammit via Bug reports for the GNU Hurd2024-12-212-1/+3
| | | | | | Previously, we were ignoring cpus that were not enabled but online-capable. Message-ID: <20241221023937.384420-1-damien@zamaudio.com>
* task_info: Fix resident_size overflowSamuel Thibault2024-12-151-1/+1
|
* smp: Make sure BSP is cpu 0 when starting other cpusDamien Zammit via Bug reports for the GNU Hurd2024-12-101-1/+3
| | | | | | | This is basically a no-op but ensures we are doing smp bringup correctly. Message-ID: <20241210072926.911061-5-damien@zamaudio.com>
* i386/apic: Fix logical id numberingDamien Zammit2024-12-102-2/+2
| | | | | The number is actually a mask bit per cpu. Message-ID: <20241210072926.911061-2-damien@zamaudio.com>
* intr: Protect internals with a lockSergey Bugaev2024-12-101-16/+22
| | | | | | | | | | | | On SMP builds with 2 CPU cores, we've seen whole-system lock-ups caused by irqdev.tot_num_intr getting set to -1, even though it's supposed to always stay non-negative. Indeed, it was modified without the appropriate synchronization. Fix this by protecting it, as well as various other internals of device/intr with a simple_lock_irq. Reported-by: Damien Zammit <damien@zamaudio.com> Signed-off-by: Sergey Bugaev <bugaevc@gmail.com> Message-ID: <20241210115705.710555-3-bugaevc@gmail.com>
* linux: Fix building with C23Sergey Bugaev2024-12-101-1/+4
| | | | | | | | | | | 'true' and 'false' are keywords in C23. This will equally be an issue on older standards if something pulls in stdbool.h, which make these into macros. In either of these two cases, just typedef 'boolean' from 'bool' (avoiding the enum), and rely on 'true' and 'false' being valid values of the type. Signed-off-by: Sergey Bugaev <bugaevc@gmail.com> Message-ID: <20241210115705.710555-2-bugaevc@gmail.com>
* Fix various function pointer typesSergey Bugaev2024-12-105-9/+9
| | | | | | | Fixes Wincompatible-pointer-types errors on GCC 15. Signed-off-by: Sergey Bugaev <bugaevc@gmail.com> Message-ID: <20241210115705.710555-1-bugaevc@gmail.com>
* i386/apic: Fix condition on non-BSPDamien Zammit via Bug reports for the GNU Hurd2024-12-091-4/+1
| | | | | | | | The condition was intended for non-BSP processors to disable timer, but apic_id != 0 means it could affect BSP if its apic id is non-zero. Fixes this bug. Message-ID: <20241209121706.879984-7-damien@zamaudio.com>
* smp: Use logical destination not physical apic idDamien Zammit via Bug reports for the GNU Hurd2024-12-096-14/+23
| | | | | | | | | | | | | | | Since modern x86 cpus only support 4 bits of destination field in ICR, we could only address up to 16 processors, assuming their physical APIC ID was < 0x10. Some processors eg AMD fam15h have physical apic ids starting at 0x10 but only support 4 bits. So these lapics are unaddressable using physical destination mode. Therefore, we switch to using logical destinations for IPIs which gives us 8 bits of unique mask for addressing up to 8 groups of processors. INIT and STARTUP is not changed here. Message-ID: <20241209121706.879984-6-damien@zamaudio.com>
* pmap: Separate temporary_mapping from set_page_dirDamien Zammit via Bug reports for the GNU Hurd2024-12-093-2/+2
| | | | | | | Prepare for smp parallel init where we want to call these two functions on different cpus at different times. Message-ID: <20241209121706.879984-5-damien@zamaudio.com>
* i386/cpuboot: Dont use CPU_NUMBER_NO_STACK() earlyDamien Zammit via Bug reports for the GNU Hurd2024-12-091-1/+1
| | | | | | Since we just set up the gs segment, we can use CPU_NUMBER instead of CPU_NUMBER_NO_STACK. Message-ID: <20241209121706.879984-3-damien@zamaudio.com>
* Comment on the reason for the different CPU_NUMBER versionsSamuel Thibault2024-12-091-0/+3
|
* i386/cpuboot: Simplify for legibilityDamien Zammit via Bug reports for the GNU Hurd2024-12-091-2/+3
| | | | | | | The current segmentation already adds -KERNELBASE. But only when accessing the memory. Message-ID: <20241209121706.879984-2-damien@zamaudio.com>
* Fix ipc_mqueue_receive locking documentationSamuel Thibault2024-12-091-1/+2
|
* mp_desc: Add assert for AP having non-zero cpu numberDamien Zammit via Bug reports for the GNU Hurd2024-12-071-0/+3
| | | | | | | | | | | Non-master processors cannot have cpu_number() == 0. The synchronisation fails hard if the cpu number is wrong. Alert the condition if this is the case. (On AMD fam15h, this assert currently fails, but I haven't been able to boot it with smp yet either). Message-ID: <20241207101222.800350-1-damien@zamaudio.com>
* ipc_kmsg: fix print of size of mach_msg_headerEtienne Brateau2024-12-061-1/+1
| | | | | | msgh_size is a mach_msg_size_t which represent an unsigned int, so %u must me used there instead of %d Message-ID: <20241206134419.6609-1-etienne.brateau@gmail.com>
* fpu: Fix for cpus that have no fxsave instructionDamien Zammit via Bug reports for the GNU Hurd2024-12-051-17/+1
| | | | | | | | Fallthrough was incorrectly using fxsave() instead of xsave() or xsaveopt(). TESTED: on AMD fam15h: no longer throws "No coprocessor" exception. Message-ID: <20241205074929.704111-1-damien@zamaudio.com>
* warn about incompatibility between linux disk driver and PAESamuel Thibault2024-12-041-0/+2
|
* vm_page.c: fix a deadlock when running with smp enabledEtienne Brateau2024-12-021-1/+2
| | | | | | | | | the call vm_page_seg_pull_cache_page() return an vm_page (src) with his object being locked, as we don’t unlock before doing the vm_page_insert, it is still lock there, and so trying to relock it cause a deadlock. Replace this lock by an assert. This case was not seen as for non-smp locking is a no-op. Message-ID: <20241202182721.27920-2-etienne.brateau@gmail.com>
* device/intr: Account for interrupts that could not be deliveredDamien Zammit via Bug reports for the GNU Hurd2024-11-241-0/+4
| | | | | | | | | | | | When an irq handler dies, we are decrementing the n_unacked count and calling __enable_irq() the right number of times, but we need to decrement the total interrupt count by the number that were lost and also clear that number. This fixes a hang when a shared irq handler quits and leaves some unacked interrupts. Message-ID: <20241123222020.245519-1-damien@zamaudio.com>
* configfrag: fix usage of mach_ncpus before his definitionEtienne Brateau2024-11-202-11/+11
| | | | Message-ID: <20241119191048.43597-1-etienne.brateau@gmail.com>
* Fix x86_64 buildSamuel Thibault2024-10-301-0/+2
|
* Expose device(mbinfo) with read access to multiboot raw infoDamien Zammit2024-10-275-0/+95
| | | | Message-ID: <20241027092828.3162279-1-damien@zamaudio.com>
* multiboot: Support graphic mode preferencesDamien Zammit2024-10-262-8/+24
| | | | | | | | | | | This change forces multiboot loader to provide video mode info and also sets the preferred video mode to EGA text to ensure existing console behaviour still works. When support for graphical consoles is provided, we can change the preferred mode to linear framebuffer. Message-ID: <20241024001047.3033826-2-damien@zamaudio.com>
* multiboot v1: Add video framebuffer infoDamien Zammit2024-10-261-0/+72
| | | | Message-ID: <20241024001047.3033826-1-damien@zamaudio.com>
* fix a compile warning.jbranso@dismail.de2024-10-221-1/+1
| | | | | | | | | | | | | | * i386/i386at/acpi_parse_apci.c (acpi_print_info): %lx -> %llx i386/i386at/acpi_parse_apic.c: In function 'acpi_print_info': i386/i386at/acpi_parse_apic.c:51:25: warning: format '%lx' expects argument of type 'long unsigned int', but argument 2 has type 'phys_addr_t' {aka 'long long unsigned int'} [-Wformat=] 51 | printf(" rsdp = 0x%lx\n", rsdp); | ~~^ ~~~~ | | | | | phys_addr_t {aka long long unsigned int} | long unsigned int | %llx Message-ID: <20241022173641.2774-2-jbranso@dismail.de>
* fix some compiler warnings.jbranso@dismail.de2024-10-221-16/+38
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | I compiled with ./configure --enable-xen --enable-acpi. * i386/intel/pmap.c (pmap_bootstrap_xen, pmap_bootstrap, pmap_set_page_readwrite, pmap_clear_bootstrap_pagetable, pmap_map_mfn, pmap_expand_level, pmap_collect): Lots of tiny changes. I've copied in some of the error messages. cast many variables to (long unsigned int), (vm_offset_t) -> (unsigned long), %llx <-- (uint64_t) variable, In file included from i386/intel/pmap.c:63: i386/intel/pmap.c: In function 'pmap_bootstrap_xen': i386/intel/pmap.c:703:39: warning: format '%lx' expects argument of type 'long unsigned int', but argument 6 has type 'unsigned int' [-Wformat=] 703 | panic("couldn't pin page %p(%lx)", l1_map[n_l1map], (vm_offset_t) kv_to_ma (l1_map[n_l1map])); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~ i386/intel/pmap.c: In function 'pmap_set_page_readwrite': i386/intel/pmap.c:897:23: warning: format '%lx' expects argument of type 'long unsigned int', but argument 5 has type 'vm_offset_t' {aka 'unsigned int'} [-Wformat=] 897 | panic("couldn't set hiMMU readwrite for addr %lx(%lx)\n", vaddr, (vm_offset_t) pa_to_ma (paddr)); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~ | | | vm_offset_t {aka unsigned int} ./kern/debug.h:67:50: note: in definition of macro 'panic' 67 | Panic (__FILE__, __LINE__, __FUNCTION__, s, ##__VA_ARGS__) | ^ i386/intel/pmap.c:897:64: note: format string is defined here 897 | panic("couldn't set hiMMU readwrite for addr %lx(%lx)\n", vaddr, (vm_offset_t) pa_to_ma (paddr)); | ~~^ | | | long unsigned int | %x i386/intel/pmap.c:897:23: warning: format '%lx' expects argument of type 'long unsigned int', but argument 6 has type 'unsigned int' [-Wformat=] 897 | panic("couldn't set hiMMU readwrite for addr %lx(%lx)\n", vaddr, (vm_offset_t) pa_to_ma (paddr)); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./kern/debug.h:67:50: note: in definition of macro 'panic' 67 | Panic (__FILE__, __LINE__, __FUNCTION__, s, ##__VA_ARGS__) | ^ i386/intel/pmap.c:897:68: note: format string is defined here 897 | panic("couldn't set hiMMU readwrite for addr %lx(%lx)\n", vaddr, (vm_offset_t) pa_to_ma (paddr)); | ~~^ | | | long unsigned int | %x Message-ID: <20241022173641.2774-1-jbranso@dismail.de>
* ioapic: Initially mask all IRQs individuallyDamien Zammit2024-10-221-0/+9
| | | | | | | This fixes a spurious intnull(9) from occurring on real hardware during ACPI startup when compiled with --enable-apic Message-ID: <20241021032217.2915842-1-damien@zamaudio.com>
* fix a compiler warning.jbranso@dismail.de2024-10-211-0/+4
| | | | | | | | | | | | | | * i386/intel/pmap.c (pmap_page_table_page_dealloc): define it only on the Xen platform. Best not to delete page_alloc, so we know how to do so if need be. i386/intel/pmap.c:1265:1: warning: 'pmap_page_table_page_dealloc' defined but not used [-Wunused-function] 1265 | pmap_page_table_page_dealloc(vm_offset_t pa) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ i386/intel/pmap.c:1171:1: warning: 'pmap_page_table_page_alloc' defined but not used [-Wunused-function] 1171 | pmap_page_table_page_alloc(void) | ^~~~~~~~~~~~~~~~~~~~~~~~~~ Message-ID: <20241020190744.2522-3-jbranso@dismail.de>
* fix a compiler warning.jbranso@dismail.de2024-10-211-1/+1
| | | | | | | | | | | | | | * kern/slab.c(kalloc_init): %lu -> %zu kern/slab.c: In function 'kalloc_init': kern/slab.c:1349:33: warning: format '%lu' expects argument of type 'long unsigned int', but argument 3 has type 'size_t' {aka 'unsigned int'} [-Wformat=] 1349 | sprintf(name, "kalloc_%lu", size); | ~~^ ~~~~ | | | | | size_t {aka unsigned int} | long unsigned int | %u Message-ID: <20241020190744.2522-2-jbranso@dismail.de>
* fix a compile warning.jbranso@dismail.de2024-10-211-2/+3
| | | | | | | | | | | | | | | | | | | | | | | * vm/vm_page.c(vm_page_setup): %lu -> %zu vm/vm_page.c: In function 'vm_page_setup': vm/vm_page.c:1425:41: warning: format '%lu' expects argument of type 'long unsigned int', but argument 2 has type 'size_t' {aka 'unsigned int'} [-Wformat=] 1425 | printf("vm_page: page table size: %lu entries (%luk)\n", nr_pages, | ~~^ ~~~~~~~~ | | | | long unsigned int size_t {aka unsigned int} | %u vm/vm_page.c:1425:54: warning: format '%lu' expects argument of type 'long unsigned int', but argument 3 has type 'size_t' {aka 'unsigned int'} [-Wformat=] 1425 | printf("vm_page: page table size: %lu entries (%luk)\n", nr_pages, | ~~^ | | | long unsigned int | %u 1426 | table_size >> 10); | ~~~~~~~~~~~~~~~~ | | | size_t {aka unsigned int} Message-ID: <20241020190744.2522-1-jbranso@dismail.de>
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-03 18:08:07 +0000